Skip to content

0.5.24
Compare
Choose a tag to compare
@Saloed Saloed released this 17 Jul 13:27
· 2 commits to main since this release
0.5.24
e294ff4
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

What's Changed

  • Fix Z3 assert and track
  • Upgrade Z3 to 4.13.0 && support Z3 on linux/arm

Full Changelog: 0.5.23...0.5.24

Assets 77
Loading