Actor
trevon
Status
refactor(cli): one TU path normalizer for coverage, fan-out and quarantine
#25 -
Commit fcf474e4f0 pushed by trevon
perf(uninit): skip functions without local candidates
#23 -
Commit 2a730e3a0e pushed by trevon
fix(eval): finding fingerprint must be identity-based, not content-based
#20 -
Commit 84746e060b pushed by trevon
bench: wire chromium + sage corpora as stress/diversity manifests
#19 -
Commit af66058f3a pushed by trevon
chore(detect): drop three unused includes from the walker engine
#18 -
Commit 7185535660 pushed by trevon
perf(cli): skip the project-graph build when no detector consumes it
#17 -
Commit 521d7a34a6 pushed by trevon
docs: record option-2 S0 result — candidate expansion is empty on fold/yams
#16 -
Commit 425eeb0751 pushed by trevon
docs: record single-pass graph-building decision (option 2) for portability
#15 -
Commit d6beaab635 pushed by trevon
chore(detect): drop unused <utility> include from security_walker_refinement.cpp
#14 -
Commit 5e4750f839 pushed by trevon
perf(detect): resolve var-var branch feasibility via octagon entailments
#13 -
Commit 91de7405e0 pushed by trevon
bench: calibrate yams wall gate to measured machine variance
#12 -
Commit 21ff1799c5 pushed by trevon
bench: activate wall/RSS regression gates via performance baselines
#11 -
Commit a016268e1f pushed by trevon
perf(detect): widen branch-feasibility fast path with octagon ranges
#10 -
Commit 3a05340d85 pushed by trevon
style: fold formatting normalization into campaign test files
#9 -
Commit 27e1b23e7d pushed by trevon
perf(symbolic): reuse one scratch Z3 context for summary computation
#7 -
Commit 66a11fccb8 pushed by trevon
ci: use Forgejo artifact actions; disable unsupported cache
#5 -
Commit 1ec7f71690 pushed by trevon