Skip to content

v0.14.3
Compare
Choose a tag to compare
@github-actions github-actions released this 19 Sep 18:24
· 1130 commits to main since this release
v0.14.3
This tag was signed with the committer’s verified signature.
bugarela Gabriela Moreira
GPG key ID: 4E9DBD7E8EB52FF9
Learn about vigilant mode.
ed3a99d
This commit was signed with the committer’s verified signature.
bugarela Gabriela Moreira
GPG key ID: 4E9DBD7E8EB52FF9
Learn about vigilant mode.

v0.14.3 -- 2023-09-19

Added

  • Added --temporal flag for verify, enabling temporal property verification
    through Apalache (#1154)

Changed

  • Introduce frames on actions in the verbose output. The verbose output has changed! (#1158)
  • The ITF traces always serialize integers as { '#bigint': 'num } (#1165)

Deprecated

Removed

Fixed

  • Fixed a problem where an error was thrown when a name from an importing module
    shadowed a nested name from the imported module (#802)
  • Fixed a problem where tests were ignored if they are not defined directly in
    the main module - that is, they were imported (#1161)
  • Fixed a type checker bug where the inferred type was too general for nested
    definitions, which prevented running verify (#1166).

Security

Assets 2
Loading