Skip to content

Releases

Z3-v4.14.1

Z3-v4.14.1 Latest
Latest

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 15 Apr 06:11
v4.14.1
4ac1966 
4.14.1
Assets 6
Loading

Z3-v4.13.0

Z3-v4.13.0

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 01 Apr 18:02
v4.13.0
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
Loading

Boogie-v3.5.6

Boogie-v3.5.6

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 01 Apr 09:47
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
Loading

Z3-v4.16.0

Z3-v4.16.0

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 01 Apr 07:52
v4.16.0
e2ad4af 
add boogie 3.5.1.0
Loading

Boogie-v3.5.1

Boogie-v3.5.1

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 10 Apr 17:24
v3.5.1
e2ad4af

Boogie v3.5.1

Loading

Z3-v4.11.2

Z3-v4.11.2

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 20 Sep 20:04
v4.11.2
2d4cf8c 
change boogie version
Loading

Boogie-v3.2.4

Boogie-v3.2.4

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 20 Sep 20:01
v3.2.4
2d4cf8c

Boogie v3.2.4

Loading

CVC5-v0.0.3

CVC5-v0.0.3

Choose a tag to compare

View all tags
@rahxephon89 rahxephon89 released this 20 Sep 20:08
v0.0.3
2d4cf8c 
change boogie version
Loading