v0.44.4

apalache-bot released this 30 Jan 18:58

· 387 commits to main since this release

0.44.4 - 2024-01-29

Bug fixes

When given an empty .tla file, report a clean user error instead of crashing with an exception (#2821).

Assets 7