pj ee234674ce docs(cli): document --exit-on-violation, --max-steps, and exit codes

2026-08-13 00:33:58 +05:30

..

case-study.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

cli.md

docs(cli): document --exit-on-violation, --max-steps, and exit codes

2026-08-13 00:33:58 +05:30

getting-started.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

index.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

introduction.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

replay.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

runs.md

docs update with case study (#63)

2026-06-09 20:13:54 +05:30

spec-language.md

fix ltl semantics and unify action enumeration (#71)

2026-08-12 18:06:04 +05:30