Recent Releases of dafny-vmc
dafny-vmc - v0.1.14-alpha
Upgrade to SampCert v1.1.0
- Dafny
Published by stefan-aws over 1 year ago
dafny-vmc - v0.1.13-alpha
- Fix tests
- SampCert integration
- Dafny
Published by stefan-aws almost 2 years ago
dafny-vmc - v0.1.12-alpha
- Documentation
- Int32 Shuffling
- Dafny
Published by stefan-aws about 2 years ago
dafny-vmc - v0.1.11-alpha
- Removes dead code
- Allows an external uniform sampler as primitive
- Reduces the number of axioms used for Fisher-Yates
- Dafny
Published by stefan-aws about 2 years ago
dafny-vmc - v0.1.10-alpha
New version of BernoulliExpNegSampleGenLoop
- Dafny
Published by stefan-aws about 2 years ago
dafny-vmc - v0.1.9-alpha
- Adding support for Python
- Dafny
Published by stefan-aws about 2 years ago
dafny-vmc - v0.1.6-alpha
Fix: RNG for large numbers in Java
- Dafny
Published by jtristan over 2 years ago
dafny-vmc - Dafny-VMC 0.1.5
New Contributors
- @barghouthi made their first contribution in https://github.com/dafny-lang/Dafny-VMC/pull/76
Full Changelog: https://github.com/dafny-lang/Dafny-VMC/compare/v0.1.4-alpha...v0.1.5-alpha
- Dafny
Published by jtristan over 2 years ago
dafny-vmc - v0.1.4-alpha
Full Changelog: https://github.com/dafny-lang/Dafny-VMC/compare/v0.1.3-alpha...v0.1.4-alpha
- Dafny
Published by jtristan over 2 years ago
dafny-vmc - Dafny-VMC 0.1.3
Full Changelog: https://github.com/dafny-lang/Dafny-VMC/compare/v0.1.2-alpha...v0.1.3-alpha
- Dafny
Published by jtristan over 2 years ago
dafny-vmc - Dafny-VMC 0.1.2
What's Changed
- Split workflows into verification & tests
Full Changelog: https://github.com/dafny-lang/Dafny-VMC/compare/v0.1.1-alpha...v0.1.2-alpha
- Dafny
Published by jtristan over 2 years ago