v0.30.0

v0.30.0 -- 2026-01-19

Added

• Added support for passing --seed to the Rust backend for reproducible simulations (#1827)
• Added simple destructuring of records and tuples, i.e. val (foo, bar) = my_value (#1837)

Changed

• Error messages from then failures were improved (#1832)
• Errors referring to an entire definition will now be shown at the definition's name location only (#1833)

Deprecated

Removed

Fixed

• Fixed ITF trace output when using the Rust backend with --out-itf (#1823)
• Fixed a crash in the Rust backend when --nthreads exceeds --max-samples (#1825)
• Fixed a problem where the REPL error reporting showed an incorrect location (#1835)
• Fixed a problem where expect would add a stuttering state to the trace (#1846)
• Fixed a problem where tests without and expect at the end would be missing
  the last state in the ITF trace (#1846)
• Fixed an edge case with nested operators that had operators as arguments could cause a runtime issue (#1843)

Security

evaluator/v0.4.0

Release evaluator v0.4.0

v0.29.1

v0.29.1 -- 2025-11-11

Added

Changed

• Bump Apalache to 0.51.1 (critical bugfix in generics #3204)

• Improved performance of small frequently allocated values in the rust backend (#1761)

Deprecated

Removed

Fixed

• Fix an issue where an arbitrary trace was reported as a counterexample in the rust backend (#1802)

Security

v0.29.0

v0.29.0 -- 2025-09-26

Added

• Added support for passing commands to the REPL (#1768)
• Added support for running simulations in multiple threads with the rust backend (#1637)
• The REPL now prints a diff between states when it makes a transition (#1783)

Changed

• Behavior of oneOf in the rust simulator now matches the typescript one (#1773)
• The REPL now prints file embedded expressions when executing them (#1774)

Deprecated

Removed

Fixed

• Fixed copying and pasting multi-line expressions from the REPL (#1776)

Security

evaluator/v0.3.0

Release evaluator v0.3.0

v0.28.0

v0.28.0 -- 2025-09-16

Added

Changed

• Bump Apalache to 0.50.3 (fix counterexamples for apalache::generate)
• Bump Apalache to 0.50.2 (increasing the GRPC message size to 1GB)
• Apalache traces are now normalized (#1760)

Deprecated

Removed

Fixed

• Fixed several issues with the integration of Apalache (#1754)
• Fixed unauthorized errors when downloading the Rust backend (#1763)
• Fixed undefined behavior when non-array options are passed twice in the CLI (#1757)

Security

v0.27.0

v0.27.0 -- 2025-08-29

Added

• Added the operator apalache::generate to mirror Apalache!Gen (see #1455).
• Added parser error for duplicated record fields (#1677)

Changed

• Bumped Apalache to 0.50.0 (fixing caches for apalache::generate #3147
• Bumped Apalache to 0.49.1 (including support for apalache::generate #3138)
• Bumped Apalache to 0.47.3 (including Z3 4.13.4 with linux/arm64 support)

Deprecated

Removed

Fixed

• Fixed Quint hanging if Apalache server exits early (#1729)
• Fixed a problem where the simulators failed to evaluate oneOf for nested setOfMaps (#1736)
• Fixed a problem where calling oneOf in empty sets would still result in an error instead of false (#1745)
• Fixed an issue with effect errors not being cleared up properly in the REPL (#1747)

Security

v0.26.0

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

v0.25.1

v0.25.1 -- 2025-06-05

Added

• quint run and quint verify can now receive multiple invariants through
  --invariants and Quint prints which ones were violated in the found
  violation (#1662)

Changed

• --out-itf does not suppress outputs anymore. Shown output amount only depends on --verbosity now (#1664)

Deprecated

Removed

Fixed

• Fixed issue on integration with the rust backend (#1683)

Security

evaluator/v0.2.0

Release evaluator v0.2.0