Skip to content

v0.28.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 16 Sep 22:47
· 740 commits to main since this release
v0.28.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
ded8149
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

v0.28.0 -- 2025-09-16

Added

Changed

  • Bump Apalache to 0.50.3 (fix counterexamples for apalache::generate)
  • Bump Apalache to 0.50.2 (increasing the GRPC message size to 1GB)
  • Apalache traces are now normalized (#1760)

Deprecated

Removed

Fixed

  • Fixed several issues with the integration of Apalache (#1754)
  • Fixed unauthorized errors when downloading the Rust backend (#1763)
  • Fixed undefined behavior when non-array options are passed twice in the CLI (#1757)

Security

Assets 7
Loading