pj 91b00ec9d9 docs: add package docs to runner and testrun pipeline

2026-06-01 22:46:50 +05:30

..

_oracle

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

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

android

docs(platform): add package docs to android and ios device prep

2026-06-01 22:46:34 +05:30

bundler

docs: add package docs to bundler and inspect

2026-06-01 22:46:34 +05:30

driver

docs(driver): add package docs to mock and sidecar backends

2026-06-01 22:46:21 +05:30

hierarchy

refactor(hierarchy): scrub backend tool name from comments

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

inspect

docs: add package docs to bundler and inspect

2026-06-01 22:46:34 +05:30

ios

docs(platform): add package docs to android and ios device prep

2026-06-01 22:46:34 +05:30

ltl

docs(ltl): add package doc to temporal logic evaluator

2026-06-01 22:46:35 +05:30

runner

docs: add package docs to runner and testrun pipeline

2026-06-01 22:46:50 +05:30

sidecarassets

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

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

testrun

docs: add package docs to runner and testrun pipeline

2026-06-01 22:46:50 +05:30

trace

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

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

verifier

refactor(driver): scrub backend tool name from comments

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