v0.20.0

apalache-bot released this 31 Jan 02:04

· 3765 commits to main since this release

3806a6a

0.20.0

Breaking changes

Switched build system from maven to sbt (note, will only cause breakage in
pipelines that build from source), See #1234.

Features

Completely remove TlcOper and replace it with a custom TLA+ module, see #1253

Bug fixes

Fix the semantics of @@ by using the TLC definition, see #1182, #951, #1234
Fix unexpected polymorphism, see #1262

Assets 6