Skip to content

v0.30.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 19 Jan 17:10
· 510 commits to main since this release
v0.30.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
0482e47
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

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

Assets 7
Loading