v0.40.3

apalache-bot released this 19 Jun 08:31

· 782 commits to main since this release

0.40.3 - 2023-06-19

Bug fixes

Fix handling of applied polymorphic operators in Quint. This increases the number of quint specs that we can successfully verify. (See #2552)

Assets 7