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.47.0 #3013

Closed coffeeinprogress closed 1 month ago

coffeeinprogress commented 1 month 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.47.0 - 2024-10-02

Breaking changes

Downgrade z3 to 4.12.6, due to instability of 4.13.0