v0.45.6

coffeeinprogress released this 19 Sep 16:19

· 104 commits to main since this release

0.45.6 - 2024-09-19

Features

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

Assets 7