0.52.2 - 2026-01-29
Bug fixes
- Make Variants compatible with TLC (#3255)
Unclaimed project
Are you a maintainer of apalache? Claim this project to take control of your public changelog and roadmap.
Changelog
APALACHE: symbolic model checker for TLA+ and Quint
Last updated 3 days ago
assumeState of JSON RPCassumeTransition and assumeState (#3219)Apalache!Gen of functions (#3158)♞ lichess.org: the forever free, adless and open source chess server ♞
💾 Database Tools incl. ORM, Migrations and Admin UI (Postgres, MySQL & MongoDB) [deprecated]
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
The Community Maintained High Velocity Web Framework For Java and Scala.