Changelog

Copy Markdown View Source

0.1.0 - 2026-08-01

  • Decode and validate finite and lasso Apalache ITF traces.
  • Represent all ADR-015 expression forms with path-aware errors and safety limits.
  • Add committed Apalache 0.58.3 evidence and an itf-rs 0.4.0 test oracle.