v0.44.2

apalache-bot released this 01 Dec 23:17

· 547 commits to main since this release

0.44.2 - 2023-12-01

Bug fixes

Fix missing support for default match cases in quint conversion (#2792)

Assets 7