v0.30.3

apalache-bot released this 06 Mar 21:21

· 1105 commits to main since this release

0.30.3 - 2023-03-06

Features

Added support for transpiling quint booleans, integers, and sets (See #2451, #2449, #2445)

Bug fixes

Add support for first-order CONSTANTS, see #2389.
Fixed type checking of specs that use Print and PrintT, see #2456.

Assets 7