Skip to content

v0.21.2
Compare
Choose a tag to compare
@github-actions github-actions released this 09 Sep 12:45
· 83 commits to main since this release
v0.21.2
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.
60d7e25
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
SSH Key Fingerprint: gy1VTfu8vDdAt854SMVI/RjfxnrqScgw523sEOdJej0 Learn about vigilant mode.

v0.21.2 -- 2024-09-09

Added

  • In the verify command, add warning if --out-itf option contains {test} or {seq} as those have no effect since Apalache only produces a single trace (#1485)
  • The run and test commands now display a progress bar (#1457)

Changed

  • Performance of incrementally checking types (i.e. in REPL) was improved (#1483).
  • In the run and test commands, change placeholders from {} to {test} and from {#} to {seq} (#1485)
  • In the run command, auto-append trace sequence number to filename if more than one trace is present and {seq} is not specified (#1485)
  • In the test command, rename --output to --out-itf

Deprecated

  • In the test command, deprecate --output option in favour of --out-itf, add hidden alias for the former (#1485)

Removed

  • In the test command, stop enforcing .itf.json extension (#1485)

Fixed

  • Bumped GRPC message sizes to 1G (#1480)
  • Fix format of ITF trace emitted by verify command (#1448)
  • Relax uppercase check for types qualified with a namespace (#1494)

Security

Assets 2
Loading