New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release v0.14.0 #1126

Merged

shonfeder merged 1 commit into main from release/0.14.0

Aug 25, 2023

Contributor

shonfeder commented Aug 25, 2023

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 (Manage Apalache server #1115)

Changed

Module management was rewritten, and instances should behave much better in
the simulator, REPL, and in integration with Apalache (New flattening #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 (Fix problem with loading module in the REPL #1112)

Security


          Release v0.14.0

f5382df

shonfeder merged commit 51ba385 into main

15 checks passed

shonfeder deleted the release/0.14.0 branch

August 25, 2023 22:42

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet