Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / dafny-lang/dafny-reportgenerator issues and pull requests

#21 - Support .NET 7

Issue - State: open - Opened by seebees over 1 year ago

#20 - std parsing for -verificationLogger:text

Issue - State: open - Opened by seebees over 1 year ago - 1 comment

#19 - chore: Fix nightly build

Pull Request - State: open - Opened by robin-aws almost 2 years ago

#18 - Support per-assertion batch maximum bounds

Issue - State: open - Opened by robin-aws almost 2 years ago - 6 comments

#17 - chore: Setting up nightly build

Pull Request - State: closed - Opened by robin-aws almost 2 years ago

#16 - Fix terminology: CV = coefficient of variation

Pull Request - State: closed - Opened by atomb over 2 years ago

#15 - Bump package version for 1.2.0 release

Pull Request - State: closed - Opened by atomb over 2 years ago

#14 - Add `--allow-different-outcomes` flag

Pull Request - State: closed - Opened by atomb over 2 years ago

#13 - Set package licenses

Pull Request - State: closed - Opened by atomb over 2 years ago

#12 - Fail if a single procedure has different outcomes

Pull Request - State: closed - Opened by atomb over 2 years ago

#11 - Add coefficient of variance (CV) limit option

Pull Request - State: closed - Opened by atomb over 2 years ago - 4 comments

#10 - Clean up use of `BigRational` in externs

Pull Request - State: closed - Opened by atomb over 2 years ago - 1 comment

#9 - Add documentation for `--max-*-stddev` in README

Pull Request - State: closed - Opened by atomb almost 3 years ago

#8 - Improve stability analysis in CI

Pull Request - State: closed - Opened by atomb almost 3 years ago

#7 - Various cleanups to stability metrics calculation and display

Pull Request - State: closed - Opened by atomb almost 3 years ago

#6 - Add support for stability analysis

Pull Request - State: closed - Opened by atomb almost 3 years ago

#5 - feat: Support directory paths as well

Pull Request - State: closed - Opened by robin-aws almost 3 years ago

#4 - Support file pattern argument

Issue - State: closed - Opened by robin-aws almost 3 years ago - 6 comments

#3 - Generalize command line argument parsing

Issue - State: open - Opened by robin-aws almost 3 years ago - 1 comment

#2 - Add command to enforce minimum testing coverage

Issue - State: open - Opened by robin-aws almost 3 years ago

#1 - Initial version of dafny-reportgenerator tool

Pull Request - State: closed - Opened by robin-aws almost 3 years ago