Changelog

Copy Markdown View Source

0.1.0 - 2026-07-31

  • Add validated TLA+ specification references.
  • Add deterministic run-directory and Apalache plan construction.
  • Add exact Apalache 0.58.3 discovery, version probing, and execution.
  • Support POSIX execution only; reject Windows after option validation and before executable discovery, version probing, or run-directory allocation.
  • Add retained lifecycle manifests and ordered ITF artifact discovery.