Skip to content

v0.19.1
Compare
Choose a tag to compare
@github-actions github-actions released this 01 Apr 13:50
· 345 commits to main since this release
v0.19.1
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
2439aee
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.19.1 -- 2024-04-01

Added

Changed

Deprecated

Removed

Fixed

  • Fix a problem where sum types with no parameters were being printed with
    either Quint's unit type () or Apalache's unit type "U_OF_UNIT" (#1416).

Security

Assets 2
Loading