v0.29.1

apalache-bot released this 12 Sep 02:16

· 1276 commits to main since this release

0.29.1 - 2022-09-12

Bug fixes

Report an error, when --max-error > 1 and no --view is provided, see #2144
Sort SMT disjuncts generated by ZipOracle, see #2149
Check invariants at step 0 with --discard-disabled=false, see #2158 and #2161

Assets 7