Skip to content

v0.40.2

Compare
Choose a tag to compare
@apalache-bot apalache-bot released this 05 Jun 00:49
· 903 commits to main since this release

0.40.2 - 2023-06-05

Bug fixes

  • Fix deserialization of Quint type and operator definitions. (See #2588)