Skip to content

v0.57.0

Choose a tag to compare

View all tags
@coffeeinprogress coffeeinprogress released this 24 Apr 13:58
· 112 commits to main since this release
v0.57.0
635865a

0.57.0 - 2026-04-24

Features

  • Honor TLC's CHECK_DEADLOCK config keyword: CHECK_DEADLOCK FALSE now behaves like --no-deadlock and CHECK_DEADLOCK TRUE preserves the default deadlock-checking behavior. The CLI flag --no-deadlock (and apalache.cfg) still takes precedence over the value from the TLC config file (#3311).
Assets 7
Loading