Skip to content

v0.26.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 14 Jul 17:43
v0.26.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
7ae0235
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

v0.26.0 -- 2025-07-14

Added

  • Better diagnostics for common syntax error on map type definitions (#1682)
  • Better diagnostics for using reserved keywords and common syntax error on type application (#1696)
  • Keywords from, as, List and Set can now be used as identifiers (#1696)
  • Support for verifying inductive invariants through quint verify --inductive-invariant my_inv

Changed

Deprecated

Removed

Fixed

Security

Assets 7
Loading