Performance History
Latest Results
Inline small extraction helpers
saulshanabrook:codex/greedy-dag-extractor
2 days ago
Minimize extraction API surface
saulshanabrook:codex/greedy-dag-extractor
2 days ago
Merge remote-tracking branch 'upstream/main' into codex/greedy-dag-extractor
# Conflicts:
# src/extract.rs
# src/proofs/proof_extraction.rs
saulshanabrook:codex/greedy-dag-extractor
2 days ago
Drop proof checker target early exit
saulshanabrook:codex/proof-checker-fast-path
2 days ago
Address root proof extractor review feedback
saulshanabrook:codex/root-proof-extractor
2 days ago
Speed up direct rule proof checks
saulshanabrook:codex/proof-checker-fast-path
2 days ago
Latest Branches
0%
2 days ago
c693f1a
saulshanabrook:codex/greedy-dag-extractor
0%
2 days ago
77d9046
saulshanabrook:codex/proof-checker-fast-path
+18%
2 days ago
be2b4b3
saulshanabrook:codex/root-proof-extractor