Skip to content

v0.23.0

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 24 Jan 17:45
· 1 commit to main since this release
v0.23.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
bf44a29
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.23.0 -- 2025-01-24

Added

  • Added a --witnesses option to quint run that enables counting for how many explored traces each of the given predicates (witnesses) were true (#1562)

Changed

  • Bumped Apalache to 0.47.2 (#1565)
  • Changed how an action from any gets picked, improving performance significantly (#1582)

Deprecated

Removed

Fixed

  • Fixed a problem where calling setOfMaps() on empty sets resulted in errors in the simulator (#1561)

Security

Assets 2
Loading