Skip to content

Boogie

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 26 Nov 15:22
· 1 commit to master since this release
v3.4.3
517cdac
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode. 
Export hidden functions (#989)

Export hidden functions, used by
https://github.com/dafny-lang/dafny/pull/5929
Assets 16
Loading