pj 19807dc4ab refactor(hierarchy): scrub backend tool name from comments

2026-06-01 22:44:20 +05:30

..

_oracle

test(spec): add Go math/rand/v2 PCG oracle and golden fixture

2026-06-01 16:09:02 +05:30

android

refactoring default action layer (#51)

2026-06-01 12:48:51 +05:30

bundler

refactor(bundler): use encoding/json for JS string literals

2026-06-01 22:43:32 +05:30

driver

test(mock): drop default-field-value assertion test

2026-06-01 21:56:12 +05:30

hierarchy

refactor(hierarchy): scrub backend tool name from comments

2026-06-01 22:44:20 +05:30

inspect

refactoring default action layer (#51)

2026-06-01 12:48:51 +05:30

ios

feat(ios): launch via XCTest with env vars for hierarchy/tap access (#39)

2026-04-23 17:35:31 +07:00

ltl

test(ltl): drop Verdict.String tautology tests

2026-06-01 21:56:12 +05:30

runner

test(runner): golden snapshots for trace stream and violation summary

2026-06-01 21:59:55 +05:30

sidecarassets

refactor(sidecarassets): rename internal/sidecar to internal/sidecarassets

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

testrun

refactor(testrun): use sidecarassets package

2026-06-01 22:39:30 +05:30

trace

feat(trace): witnesses map and skipped-verification marker on Step

2026-06-01 13:56:31 +05:30

verifier

refactor(verifier): remove dead __sanderlingIndex compat alias

2026-06-01 22:43:27 +05:30