Skip to content

v0.45.6

Latest
Latest
Compare
Choose a tag to compare
@coffeeinprogress coffeeinprogress released this 19 Sep 16:19
· 7 commits to main since this release
v0.45.6
6ae92f7

0.45.6 - 2024-09-19

Features

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