Skip to content

v0.32.0

Latest

Choose a tag to compare

@github-actions github-actions released this 31 Mar 13:39
· 31 commits to main since this release

v0.32.0 -- 2026-03-31

Added

  • Added leadsTo temporal operator (#1932)

Changed

  • TLC backend now ensures Apalache distribution is available locally before running TLC (#1959)
  • Improved error propagation when the Rust evaluator fails to start (#1958)

Deprecated

Removed

Fixed

  • Fixed a bug in fairness operators where the effect system would report an error (#1932)
  • Fixed TLC backend failing when multiple instances run in parallel (#1949)
  • Fixed an issue where the rust evaluator failed to launch on Windows (#1945)
  • Fixed an import issue affecting yargs on node 27 (#1926)

Security

  • Updated tar 6→7 to fix critical path traversal and symlink poisoning vulnerabilities (#1957)
  • Updated mocha 7→11 to fix vulnerabilities in debug, js-yaml, and minimatch (#1957)
  • Patched vulnerabilities in braces, cross-spawn, ajv, ejs, and others (#1957)