v0.29.2

apalache-bot released this 26 Sep 00:41

· 1406 commits to main since this release

8a342d2

0.29.2 - 2022-09-26

Features

Add Option.tla module providing support for option types (see #2097).

Bug fixes

Fix missing support for single-line comments inside of type annotations (see #2162)

Assets 7