Skip to content

2.5.4
Compare
Choose a tag to compare
@bclement-ocp bclement-ocp released this 13 May 13:18
· 337 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)
Assets 6
Loading