Skip to content

v0.15.0
Compare
Choose a tag to compare
@github-actions github-actions released this 08 Nov 20:27
· 950 commits to main since this release
v0.15.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
e1a9804
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.15.0 -- 2023-11-08

Added

Changed

  • Error messages for val vs def and pure val vs pure def errors are clearer (#1208)
  • quint run prints the random seed even if no bug was found (#1213)
  • Error reporting was changed to show more errors at a time, instead of having a lot of phases (#1220)

Deprecated

Removed

Fixed

  • Fixed internal bugs in the effect checker that could cause an incorrect effect
    to be inferred or error to be reported (#1203)
  • Fixed propagation of checker.tuning Apalache config file key for quint verify (#1216)
  • Fixed a problem where errors in one file were being reported in another file
    that imported it (#1224).
  • Fixed a problem where some errors were not being reported in the REPL (#1223)

Security

Assets 2
Loading