Skip to content

v0.11.1
Compare
Choose a tag to compare
@github-actions github-actions released this 01 Jun 20:37
· 1765 commits to main since this release
v0.11.1
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
GPG key ID: 4E9DBD7E8EB52FF9
Learn about vigilant mode.
1604ee0
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
GPG key ID: 4E9DBD7E8EB52FF9
Learn about vigilant mode.

v0.11.1 -- 2023-06-01

Added

  • The verify command prints counterexamples on deadlocks and invariant
    violations (#914)

Changed

Deprecated

Removed

Fixed

  • Fixed a bug in trace reporting by quint run (#913)

Security

Assets 3
Loading