pj 4163f43736 feat(ltl): bound fields on AlwaysFormula and named thunks ...

Add StepBound/Duration/Deadline to AlwaysFormula as the dual of bounded
Eventually, give ThunkFormula a Name for stable identity, add ThunkNamed,
and surface both in describe() and MarshalJSON.

2026-06-01 13:49:24 +05:30

..

evaluator_test.go

feat: LTL operators, sampling, and default generators (#17)

2026-04-20 02:19:39 +07:00

evaluator.go

feat: uatu inspect UI (web trace explorer) (#23)

2026-04-21 11:32:17 +07:00

formula_test.go

feat: uatu inspect UI (web trace explorer) (#23)

2026-04-21 11:32:17 +07:00

formula.go

feat(ltl): bound fields on AlwaysFormula and named thunks

2026-06-01 13:49:24 +05:30