Skip to content

v0.31.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 27 Feb 16:28
· 103 commits to main since this release
v0.31.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
34779dd
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

v0.31.0 -- 2026-02-27

Added

  • Added TLC as an alternative backend to quint verify via --backend=tlc(#1844)
  • Added support for quint test --backend=rust to run tests using the Rust backend (#1862)
  • Add error handling for rust process termination via signal (#1880)
  • The rust backend will now print the seed and trace even on runtime errors and panics (#1879)
  • Added support for quint repl --backend=rust to use the REPL with the Rust backend (#1891)
  • Added out of bounds integer literal detection when serializing input to the Rust backend (#1890)
  • Added support for the --witnesses flag in the Rust backend (#1889)
  • Added support for the --mbt flag in the Rust backend (#1896)
  • The rust backend will now report per step diagnostics via q::debug (#1893)
  • Added support for Nat and Int to rust backend (#1894)
  • Added support for the --n-traces flag in the Rust backend (#1898)
  • Added support for --invariants flag in the Rust backend (#1902)
  • The rust backend will report diagnostics for the REPL (#1909)
  • The rust backend now displays a stack trace on runtime errors (#1910)
  • Added support for --seed int the REPL CLI (#1912)

Changed

  • Moved LSP-server compilation and analysis to its own worker thread (1876)
  • Improved memory allocation profile of LSP-server log messages (#1877)
  • Stream JSON in and out or rust evaluator to reduce memory allocations (#1882)
  • Improved power set sampling coverage in the Rust backend (#1888)
  • Changed default Rust allocator to MiMalloc (#1914)
  • Switched the default backend for quint run and quint test to Rust (#1919)
  • Changed the Rust simulator to support only i64 integers instead of BigInts, which remain supported by the TypeScript simulator (#1887)

Deprecated

Removed

Fixed

  • Fixed LSP-server stopping if LOG_LEVEL is not NONE (#1874)
  • Fixed LSP-server crashing upon console.{log, error} messages (#1875)
  • Fixed integer overflow errors not being reported properly in the Rust backend (#1887)
  • Added a warning when checking temporal formulas with Apalache (#1908)
  • Fixed a bug related to the progress bar display in single threaded Rust (#1911)

Security

Assets 7
Loading