Skip to content

4.13.4

Latest
Latest
Compare
Choose a tag to compare
@no-preserve-root no-preserve-root released this 18 Dec 16:29
· 3 commits to main since this release
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.

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