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.46.1 #3001

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.46.1 - 2024-09-24

Features

Periodically print Z3 statistics when --debug is on (#2992)
Parse and pass z3 tuning parameters in the Apalache fine-tuning parameters (#2990)