Skip to content

2.5.4
Compare
Choose a tag to compare
@bclement-ocp bclement-ocp released this 13 May 13:18
· 343 commits to next since this release
v2.5.4
37b2add
This commit was signed with the committer’s verified signature.
bclement-ocp Basile Clément
SSH Key Fingerprint: N+bQqWgVwNo/kJTwusIqecTs7cDGTgNXnnh4beh0ky0 Learn about vigilant mode.

CHANGES:

  • Fix a long-standing soundness issue in the FPA module (#1122, originally
    reported in #1111)
  • Dolmen frontend incorrectly allowed semantic triggers outside of theory
    extensions (#1122)

Note: The zip files generated on release date (alt-ergo-2.5.4-<arch>-<os>.zip) did not report the proper version numbers when calling alt-ergo --version. The uncompressed binaries (alt-ergo-v2.5.4-<arch>-<os>) have been generated separately and do have the proper version numbers. We have kept the original zip files as is to avoid breaking potential use-cases that depend on the hashes.

Assets 9
Loading