issues
search
dafny-lang
/
dafny-reportgenerator
A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3
stars
4
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Support .NET 7
#21
seebees
opened
10 months ago
0
std parsing for -verificationLogger:text
#20
seebees
opened
1 year ago
1
chore: Fix nightly build
#19
robin-aws
opened
1 year ago
0
Support per-assertion batch maximum bounds
#18
robin-aws
opened
1 year ago
6
chore: Setting up nightly build
#17
robin-aws
closed
1 year ago
0
Fix terminology: CV = coefficient of variation
#16
atomb
closed
2 years ago
0
Bump package version for 1.2.0 release
#15
atomb
closed
2 years ago
0
Add `--allow-different-outcomes` flag
#14
atomb
closed
2 years ago
0
Set package licenses
#13
atomb
closed
2 years ago
0
Fail if a single procedure has different outcomes
#12
atomb
closed
2 years ago
0
Add coefficient of variance (CV) limit option
#11
atomb
closed
2 years ago
4
Clean up use of `BigRational` in externs
#10
atomb
closed
2 years ago
1
Add documentation for `--max-*-stddev` in README
#9
atomb
closed
2 years ago
0
Improve stability analysis in CI
#8
atomb
closed
2 years ago
0
Various cleanups to stability metrics calculation and display
#7
atomb
closed
2 years ago
0
Add support for stability analysis
#6
atomb
closed
2 years ago
0
feat: Support directory paths as well
#5
robin-aws
closed
2 years ago
0
Support file pattern argument
#4
robin-aws
closed
2 years ago
6
Generalize command line argument parsing
#3
robin-aws
opened
2 years ago
1
Add command to enforce minimum testing coverage
#2
robin-aws
opened
2 years ago
0
Initial version of dafny-reportgenerator tool
#1
robin-aws
closed
2 years ago
0