Skip to content

v0.24.0

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 08 Apr 14:10
· 37 commits to main since this release
v0.24.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
d1e00a1
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

v0.24.0 -- 2025-04-08

Added

  • Added a --flatten option to quint compile to enable compilation of unflattened modules (#1623)
  • Added a main field to the JSON output of quint compile (#1623)
  • Added a --backend option to quint run to enable running the new Rust simulator (#1623)

Changed

Deprecated

Removed

Fixed

  • Init definitions are now properly transpiled into TLA+ without assignments (#1613)

Security

Assets 12
Loading