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

2026-06-01 16:09:02 +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

test: cover web-runtime seeded PRNG, weighted pick, and seed define wiring

2026-06-01 15:10:04 +05:30

driver

refactoring default action layer (#51)

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

hierarchy

refactoring default action layer (#51)

2026-06-01 12:48:51 +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): lock implies and bounded-always false-negative regressions

2026-06-01 14:11:26 +05:30

permissions

feat(permissions): grant dangerous permissions via aapt + adb

2026-04-17 23:57:17 +07:00

runner

feat(runner): thread violation witnesses, finalize, skip marker into trace

2026-06-01 13:57:34 +05:30

sidecar

refactor: rename project uatu -> sanderling (#24)

2026-04-21 11:57:49 +07:00

testrun

test: cover web-runtime seeded PRNG, weighted pick, and seed define wiring

2026-06-01 15:10:04 +05:30

trace

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

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

verifier

test(verifier): finalize surfaces unmet eventually with witness

2026-06-01 13:58:45 +05:30