v0.30.7

apalache-bot released this 11 Apr 15:59

· 1032 commits to main since this release

0.30.7 - 2023-04-11

Bug fixes

Fix conversion of quint binding operators to support operator passed by name. See #2520.

Assets 7