v0.40.0

apalache-bot released this 27 May 00:25

· 1019 commits to main since this release

5808c25

0.40.0 - 2023-05-26

Breaking changes

Bump Z3 to v4.12.1, see #2565

Bug fixes

fix pretty printing of x \div y and x / y (#2562)

Assets 7