v0.44.0

apalache-bot released this 23 Oct 16:22

· 592 commits to main since this release

0.44.0 - 2023-10-23

Breaking changes

Removed the (unused) --nworkers flag, see #2275

Bug fixes

Continue simulation on SMT timeout in enabledness check, see #2758

Assets 7