v0.16.5

apalache-bot released this 07 Oct 16:29

· 3912 commits to main since this release

0.16.5

Bug fixes

Propagate constraints passed in --cinit, see #1023
Propagate constraints passed ASSUME, see #880

Assets 6