apalache-mc / apalache

APALACHE: symbolic model checker for TLA+ and Quint

https://apalache-mc.org/

Apache License 2.0

441 stars 40 forks source link

[release] 0.45.6 #2994

Closed coffeeinprogress closed 2 months ago

coffeeinprogress commented 2 months ago

Reviewer instructions

Check the changelog to ensure the version increment is consistent with https://semver.org/.
- If a different version should be released, follow the instructions.
Review the changeset as a sanity check.
Approve the PR, if it pases muster.
Merge this branch (do not squash or rebase), but DO NOT DELETE THE BRANCH.
After the release has been published to github, delete this branch.

Release notes

0.45.6 - 2024-09-19

Features

Added an apalache-mc.bat file to easily start Apalache on Windows, see #2980