v0.10.0

v0.10.0 -- 2023-05-04

Added

• Modules and definitions can now be exported (#771)
• Non-deterministic tests are run multiple times similar to {Quick,Scala}check (#786)
• quint run returns a non-zero exit code on invariant violation and errors (#793)
• Support for imports from files: import ... from <filename> (#800)
• suppress comments in REPL (#806)
• quint repl is printing the same version number as returned by quint --version (#804)
• add the command .seed in REPL (#812)
• fix quint run to output compile errors again (#812)
• add the precursor of the standard library in the form of spells (#827)
• cache top-level pure val (#837)
• support for higher-order operators in REPL/simulator (#845)
• introduce reps as an alternative to repeated (#855)
• More data is now output in most commands when --out is provided (#852)
• Mock command verify for running Apalache in the future (#787)

Changed

• The ITF export adds output similar to Apalache (#780)

Deprecated

• repeated is deprecated in favor of reps (#855)

Removed

• notin is no longer a builtin operator (#814)
• --with-lookup command (#850)

Fixed

• Proper errors are now reported when a lambda returns an operator (#811)
• Fix quint run to output compile errors again (#812)
• Fix the record constructor, so the key order does not matter (#839)
• quint test shows compile errors, if they occur (#841)
• Fix the bug that occurred when caching pure val (#844)

Security