Skip to content

v0.29.1

Choose a tag to compare

View all tags
@github-actions github-actions released this 11 Nov 17:02
· 635 commits to main since this release
v0.29.1
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
71407a2
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

v0.29.1 -- 2025-11-11

Added

Changed

  • Bump Apalache to 0.51.1 (critical bugfix in generics #3204)

  • Improved performance of small frequently allocated values in the rust backend (#1761)

Deprecated

Removed

Fixed

  • Fix an issue where an arbitrary trace was reported as a counterexample in the rust backend (#1802)

Security

Assets 2
Loading