v0.14.0

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