v0.24.1

apalache-bot released this 25 Apr 01:45

· 2494 commits to main since this release

0.24.1

Breaking changes

Rename --tuning to --tuning-options-file, see #1579

Bug fixes

Fix references to --tune-here (actually --tuning-options), see #1579

Assets 6