Dafny-VMC: a Library for Verified Monte Carlo Algorithms
Stars
16
Forks
3
Watchers
Open Issues
1
Overall repository health assessment
No package.json found
This might not be a Node.js project
User
83
commits
54
26
Update README.md (#183)
e3631f8
Citation (#182)
bfb42bf
Citation and readme (#181)
c8507ca
Upgrade to SampCert v1.1.0 (#179)
8b8a158
More benchmarks (#177)
7539092
SampCert submodule and build, alternative (#173)
6a73c2f
Fix Python Tests (#175)
64dfa70
Remove split-on-every-assert by introducing ghost array input (#171)
1f94fe6
Fix and extend testing (#170)
493d1b5
Fix documentation and comments (#167)
38e583e
Benchmarks and Diagrams (#169)
be33d9d
Add more efficient Int32 Shuffling (#168)
28f5169
Remove {:vcs_split_on_every_assert} (#166)
ece20ee
Update readme (#165)
458556f
Enable Custom Extern Uniform (#164)
2b794e0