Skip to content

v0.25.0
Compare
Choose a tag to compare
@github-actions github-actions released this 28 May 17:44
· 193 commits to main since this release
v0.25.0
13d07c2
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

v0.25.0 -- 2025-05-28

Added

  • Added --hide option to hide specific variables from output (#1656)
  • Errors from the Rust evaluator now show the corresponding location (#1648)
  • Added support for calling q::debug with a single argument, which shows both the expression and its value (#1660)
  • quint run now reports statistics on trace length and the simulation speec in traces/second (#1669)

Changed

  • oneOf() now automatically handles empty sets instead of giving an error and has a retry strategy for small sets (#1670)

Deprecated

Removed

Fixed

  • Fixed a problem on pure vals referring to constants resulting in errors in the Rust evaluator (#1647)

Security

Assets 2
Loading