v0.30.2

apalache-bot released this 22 Feb 18:41

· 1210 commits to main since this release

333cdce

0.30.2 - 2023-02-22

Features

Added support for inputing a spec written in a small fragment of quint (see #2421).

Bug fixes

Fix parsing of lines longer than 999 characters, see #2430

Assets 7