Skip to content

Releases: tudo-aqua/z3-turnkey

4.13.4

18 Dec 16:29
@no-preserve-root no-preserve-root
4.13.4
This tag was signed with the committer’s verified signature.
no-preserve-root Simon Dierl
Certificate subject
CN Simon Dierl
emailAddress [email protected]
O Technische Universität Dortmund
Certificate issuer
CN GEANT Personal CA 4
O GEANT Vereniging
Learn about vigilant mode.
6bbbcac
This commit was signed with the committer’s verified signature.
no-preserve-root Simon Dierl
Certificate subject
CN Simon Dierl
emailAddress [email protected]
O Technische Universität Dortmund
Certificate issuer
CN GEANT Personal CA 4
O GEANT Vereniging
Learn about vigilant mode.
Compare
Choose a tag to compare
4.13.4 Latest
Latest

Bundles Z3 4.13.4.

  • Adds support for aarch64 on Linux.
  • The minimum glibc version for amd64 has been increased to 2.35.

Intermediate versions of Z3 were not released as TurnKey artifacts due to crashes in Z3.

Assets 2
Loading

4.13.0.1

20 Sep 15:34
@no-preserve-root no-preserve-root
4.13.0.1
This tag was signed with the committer’s verified signature.
no-preserve-root Simon Dierl
Certificate subject
CN Simon Dierl
emailAddress [email protected]
O Technische Universität Dortmund
Certificate issuer
CN GEANT Personal CA 4
O GEANT Vereniging
Learn about vigilant mode.
ea4b124
This commit was signed with the committer’s verified signature.
no-preserve-root Simon Dierl
Certificate subject
CN Simon Dierl
emailAddress [email protected]
O Technische Universität Dortmund
Certificate issuer
CN GEANT Personal CA 4
O GEANT Vereniging
Learn about vigilant mode.
Compare
Choose a tag to compare
4.13.0.1

Bundles Z3 4.13.0.

The build system has been reworked to factor out reusable code. Optional JPMS support has been added.

Assets 2
Loading