Performance History
Latest Results
tests
size-cap
4 hours ago
fmt
size-cap
5 hours ago
remove global state
size-cap
5 hours ago
improve performance
saulshanabrook:codex/proof-simplifications
12 hours ago
change to iter and smallvec
oflatt:oflatt-api-typed-egraph
1 day ago
cosntructor_enodes much faster
oflatt:oflatt-api-typed-egraph
1 day ago
Apply suggestions from code review
Co-authored-by: Yihong Zhang <yz489@cs.washington.edu>
oflatt:oflatt-api-typed-egraph
1 day ago
Address proof container review comments
saulshanabrook:codex/proof-containers-pair
2 days ago
Latest Branches
0%
4 hours ago
dd2d44c
size-cap
0%
12 hours ago
61b6fa9
saulshanabrook:codex/proof-simplifications
+8%
1 day ago
702172c
oflatt:oflatt-api-typed-egraph