v0.30.8

apalache-bot released this 17 Apr 15:26

· 1010 commits to main since this release

0.30.8 - 2023-04-17

Features

Add support for converting quint record operators. See #2530.

Bug fixes

Fix conversion of quint setBy operator. See #2531.

Assets 7