Release v0.15.0

[bugarela]

v0.15.0 -- 2023-11-08

Added

Changed

• Error messages for val vs def and pure val vs pure def errors are clearer (Special error for val vs def mode errors #1208)
• quint run prints the random seed even if no bug was found (print the seed on success #1213)
• Error reporting was changed to show more errors at a time, instead of having a lot of phases (Error recovery between parsing 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 (Fix effect substitutions, free names and unification of entities #1203)
• Fixed propagation of checker.tuning Apalache config file key for quint verify (Properly override checker.tuning #1216)
• Fixed a problem where errors in one file were being reported in another file
  that imported it (Fix problems reporting errors between multiple files #1224).
• Fixed a problem where some errors were not being reported in the REPL (Improve error recoverability in ToIrListener #1223)

Security

[bugarela]

Ah, forgot to update with main before running the script, but this only missing updates in tests, examples and spells, so it's fine to release without the latest changes.