Skip to content

Update benchmarks to report the egraph size for each case#265

Merged
gkronber merged 9 commits intoale/3.0from
report_egraph_size_for_benchmarks
Sep 9, 2025
Merged

Update benchmarks to report the egraph size for each case#265
gkronber merged 9 commits intoale/3.0from
report_egraph_size_for_benchmarks