Performance History
Latest Results
Merge pull request #1 from dewert99/egraph_nodes
Egraph nodes
codspeed
2 years ago
Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled
egraph_nodes
2 years ago
Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled
egraph_nodes
2 years ago
Disable log for release mode
codspeed
2 years ago
Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled
egraph_nodes
2 years ago
Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled
egraph_nodes
2 years ago
Optimize cargo profile
codspeed
2 years ago
Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled
egraph_nodes
2 years ago
Latest Branches
+4%
2 years ago
eb5b548
egraph_nodes