v0.14.0

github-actions released this 25 Aug 22:45

· 1232 commits to main since this release

v0.14.0 -- 2023-08-25

Added

The verify command now automatically acquires the Apalache distribution and
starts the server, if the server is not already running (#1115)

Changed

Module management was rewritten, and instances should behave much better in
the simulator, REPL, and in integration with Apalache (#1119)

Deprecated

Removed

Fixed

Fixed a problem where definitions were not properly loaded in the REPL when
the main module was provided in the CLI argument (#1112)

Security

Assets 2