v0.41.0

apalache-bot released this 20 Jul 16:48

· 697 commits to main since this release

0.41.0 - 2023-07-20

Breaking changes

Fixed deserialization of large Quint integer values, see #2654

Assets 7