Skip to content

v0.25.1

Latest
Latest
Compare
Choose a tag to compare
@github-actions github-actions released this 05 Jun 19:32
· 10 commits to main since this release
v0.25.1
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
c8bf6ff
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

v0.25.1 -- 2025-06-05

Added

  • quint run and quint verify can now receive multiple invariants through
    --invariants and Quint prints which ones were violated in the found
    violation (#1662)

Changed

  • --out-itf does not suppress outputs anymore. Shown output amount only depends on --verbosity now (#1664)

Deprecated

Removed

Fixed

  • Fixed issue on integration with the rust backend (#1683)

Security

Assets 12
Loading