Skip to content

v0.27.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Aug 11:52
v0.27.0
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.
6f2cbde
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0
Verified
Learn about vigilant mode.

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

Assets 7
Loading