Skip to content

Boogie-v3.5.6

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 01 Apr 09:47
· 2 commits to main since this release
v3.5.6
3cf658b
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode. 
Merge pull request #1 from aptos-labs/teng/update-z3-4.16

update boogie and z3
Assets 7
Loading