v0.26.0

apalache-bot released this 26 Jul 18:51

· 1604 commits to main since this release

92e1c45

0.26.0 - 2022-07-26

Breaking changes

Rename base development branch from unstable to main, this is noted as a breaking change as it could break some CI process or scripts that deploy from source (see #1990)

Features

introduce new syntax for type aliases, see #1977

Documentation

update the syntax of type aliases in the documentation

Assets 7