pj 539da95f21 feat(replay): move the violation marker to the causing step

2026-06-05 22:38:21 +05:30

..

_oracle

UX refactor (#52)

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

android

UX refactor (#52)

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

bundler

UX refactor (#52)

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

driver

UX refactor (#52)

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

hierarchy

UX refactor (#52)

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

ios

UX refactor (#52)

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

ltl

feat(ltl): attribute violations to the obligation origin step

2026-06-05 22:29:09 +05:30

replay

feat(replay): move the violation marker to the causing step

2026-06-05 22:38:21 +05:30

runner

feat(trace): carry the causing step in violation witnesses and summary

2026-06-05 22:34:07 +05:30

sidecarassets

UX refactor (#52)

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

testrun

UX refactor (#52)

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

trace

feat(trace): carry the causing step in violation witnesses and summary

2026-06-05 22:34:07 +05:30

verifier

feat(verifier): label evaluator observations with the runner step index

2026-06-05 22:31:05 +05:30