Skip to content

Releases: dafny-lang/Dafny-VMC

v0.1.14-alpha

16 Aug 13:54
@stefan-aws stefan-aws
v0.1.14-alpha
8b8a158
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.14-alpha Latest
Latest

Upgrade to SampCert v1.1.0

Assets 3
Loading

v0.1.13-alpha

26 Apr 13:08
@stefan-aws stefan-aws
v0.1.13-alpha
6a73c2f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.13-alpha
  • Fix tests
  • SampCert integration
Assets 3
Loading

v0.1.12-alpha

18 Mar 18:23
@stefan-aws stefan-aws
v0.1.12-alpha
38e583e
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.12-alpha
  • Documentation
  • Int32 Shuffling
Assets 3
Loading

v0.1.11-alpha

07 Mar 16:22
@stefan-aws stefan-aws
v0.1.11-alpha
2b794e0
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.11-alpha
  • Removes dead code
  • Allows an external uniform sampler as primitive
  • Reduces the number of axioms used for Fisher-Yates
Assets 3
Loading

v0.1.10-alpha

29 Feb 17:06
@stefan-aws stefan-aws
v0.1.10-alpha
6bcf55d
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.10-alpha

New version of BernoulliExpNegSampleGenLoop

Assets 3
Loading

v0.1.9-alpha

26 Feb 21:33
@stefan-aws stefan-aws
v0.1.9-alpha
88f1dab
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.9-alpha
  • Adding support for Python
Assets 3
Loading

v0.1.8-alpha

16 Feb 20:06
@stefan-aws stefan-aws
v0.1.8-alpha
abd5960
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.8-alpha Pre-release
Pre-release 
Update README (#151)

By submitting this pull request, I confirm that my contribution is made
under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).
Assets 3
Loading

v0.1.7-alpha

08 Nov 13:28
@jtristan jtristan
v0.1.7-alpha
ee83a0e
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.7-alpha Pre-release
Pre-release

Extern UniformPowerof2

Assets 2
Loading

v0.1.6-alpha

03 Nov 20:21
@jtristan jtristan
v0.1.6-alpha
8b21c7d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
v0.1.6-alpha Pre-release
Pre-release

Fix: RNG for large numbers in Java

Assets 2
Loading

Dafny-VMC 0.1.5

06 Oct 13:02
@jtristan jtristan
v0.1.5-alpha
77237ef
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Dafny-VMC 0.1.5 Pre-release
Pre-release

New Contributors

Full Changelog: v0.1.4-alpha...v0.1.5-alpha

Contributors

barghouthi
Assets 4
Loading