Skip to content

Measure where HermitCrab's time actually goes, across 33 grammars - #488

Closed
johnml1135 wants to merge 15 commits into
integrate-conformance-frameworkfrom
feature/synthesis-fold-probes
Closed

Measure where HermitCrab's time actually goes, across 33 grammars#488
johnml1135 wants to merge 15 commits into
integrate-conformance-frameworkfrom
feature/synthesis-fold-probes

docs: add the optimization ledger -- 20 rows, tried/closed/open, do n…

44fb720
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Conformance suite
succeeded Aug 27, 2026 in 47s