pj 94b6de8c53 test(ltl): marshal bounded Always steps/duration/deadline

2026-06-06 13:02:08 +05:30

..

evaluator_test.go

test(ltl): pin reduce over pending inner for bound, Or, Not

2026-06-06 13:02:08 +05:30

evaluator.go

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

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

false_negative_test.go

UX refactor (#52)

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

finalize_test.go

test(ltl): table-test finalize Kleene connective combinations

2026-06-06 13:02:08 +05:30

formula_test.go

test(ltl): marshal bounded Always steps/duration/deadline

2026-06-06 13:02:08 +05:30

formula.go

replay ui fix (#56)

2026-06-03 16:17:26 +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

witness_test.go

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

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