Skip to content

v0.20.0
Compare
Choose a tag to compare
@github-actions github-actions released this 22 May 16:39
· 340 commits to main since this release
v0.20.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
d763932
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.20.0 -- 2024-05-22

Added

  • Added an experimental --mbt flag to produce metadata that is useful for
    Model-Based Testing (#1441).
  • Added the allListsUpTo, a limited but computable version of allLists (#1442)

Changed

  • Shadowing is a bit less agressive. This should improve readability of variable
    names after compilation, i.e. in Apalache and some simulation errors, and in
    TLA+ produced from the compile command (#1444).

Deprecated

Removed

Fixed

Security

Assets 2
Loading