Skip to content

v0.22.2
Compare
Choose a tag to compare
@github-actions github-actions released this 08 Oct 13:15
· 85 commits to main since this release
v0.22.2
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
9141424
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.22.2 -- 2024-10-08

Added

  • quint verify has the option --apalache-version to pull a custom version (#1521)
  • Grammar updated with support for an optional leading hashbang (#!) line (#1522)

Changed

Deprecated

Removed

Fixed

Security

Assets 2
Loading