Performance History
Latest Results
Pilot semantic database snapshots and document migration options
codex/egraph-comparison-05-snapshots
4 days ago
Speed up e-graph comparison with compact signature storage
codex/egraph-comparison-06-performance
4 days ago
Use canonical snapshot baselines with verified failure certificates
codex/egraph-comparison-08-canonical-snapshots
4 days ago
Add canonical serialization of e-graph comparison quotients
codex/egraph-comparison-07-canonical
4 days ago
Test function-induced database structure and certificates
codex/egraph-comparison-04-functions
4 days ago
Extract and verify e-graph disequality certificates
codex/egraph-comparison-02-certificates
4 days ago
Export complete egglog databases for semantic comparison
codex/egraph-comparison-03-export
4 days ago
Use smaller-half worklists for e-graph comparison
codex/egraph-comparison-09-hopcroft
4 days ago
Latest Branches
0%
4 days ago
b48c03a
codex/egraph-comparison-05-snapshots
0%
4 days ago
debd68d
codex/egraph-comparison-06-performance
0%
4 days ago
f4c3842
codex/egraph-comparison-08-canonical-snapshots