pj 565aea77e9 docs: a bound still needs the relaunch guard, and eventually does convict

2026-08-16 01:18:35 +05:30

..

duality_test.go

fix ltl semantics and unify action enumeration (#71)

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

evaluator_test.go

experiment instrumentation: step budgets, arm labels, campaign runner (#72)

2026-08-12 22:20:31 +05:30

evaluator.go

fix ltl semantics and unify action enumeration (#71)

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

false_negative_test.go

fix ltl semantics and unify action enumeration (#71)

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

finalize_test.go

fix ltl semantics and unify action enumeration (#71)

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

formula_test.go

fix ltl semantics and unify action enumeration (#71)

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

formula.go

docs: a bound still needs the relaunch guard, and eventually does convict

2026-08-16 01:18:35 +05:30

nnf_test.go

UX refactor (#52)

2026-06-02 09:52:53 +05:30

nnf.go

UX refactor (#52)

2026-06-02 09:52:53 +05:30

root_test.go

fix ltl semantics and unify action enumeration (#71)

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

witness_test.go

Attribute violations to the causing step and render witness evidence (#59)

2026-06-05 23:46:36 +05:30