Changelog

Copy Markdown View Source

0.2.0 - 2026-08-18

  • Add bounded execution through timeout:.
  • Apply a fixed five-second timeout to the version probe.
  • Use MuonTrap for process lifecycle and caller-death cleanup.
  • Retain timeout directories and output without classifying partial ITFs.
  • Limit build and execution to POSIX systems with native prerequisites.

0.1.1 - 2026-08-04

  • Adopt the shared CodeStyle and Styler policy.
  • Add repository-owned asdf toolchain and Justfile workflows.
  • Standardize CI on the repository's public Justfile commands.
  • Add a guarded local workflow for Hex publication and GitHub releases.
  • Move the standalone consumer-smoke fixture under test/support.

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.