uf-with-changes - Branch - egraphs-good/egglog

Custom UF-backed tables in the egglog language.

#782

Comparing

uf-with-changes

(

8ff50f4

) with

main

(

abc9de3

)

Untouched: 22

Skipped: 190

Benchmarks

212 total

tests[herbie-tutorial]

benches/ci_benchmarking.rs

+4%

10.6 ms10.2 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

+2%

1.6 s1.6 s

tests[python_array_optimize]

benches/ci_benchmarking.rs

+1%

5.8 s5.8 s

tests[repro-665-set-union]

benches/ci_benchmarking.rs

984.5 ms979.9 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.6 s8.5 s

tests[typeinfer]

benches/ci_benchmarking.rs

264.6 ms263.4 ms

tests[herbie]

benches/ci_benchmarking.rs

267.7 ms267.1 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

2.1 s2.1 s

tests[typeinfer]

benches/ci_benchmarking.rs

234.6 ms234.5 ms

tests[taylor51]

benches/ci_benchmarking.rs

4.2 s4.2 s

tests[taylor51]

benches/ci_benchmarking.rs

5.2 s5.2 s

tests[herbie]

benches/ci_benchmarking.rs

294.2 ms294.4 ms

tests[repro-665-set-union]

benches/ci_benchmarking.rs

716.4 ms717.1 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.8 s1.8 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

76 ms76.2 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8.7 s8.7 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

75.8 ms76.1 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.2 ms8.2 ms

tests[cykjson]

benches/ci_benchmarking.rs

319.6 ms321.1 ms

tests[python_array_optimize]

benches/ci_benchmarking.rs

-1%

6.8 s6.9 s

tests[cykjson]

benches/ci_benchmarking.rs

-1%

500.5 ms504.9 ms

The benchmarks below were skipped, so their baseline results are used instead. If they were deleted in your codebase, archive them to remove them from the performance reports.
Learn more about archiving benchmarks

tests[array]

benches/ci_benchmarking.rs

Skipped

27.2 ms*

tests[bdd]

benches/ci_benchmarking.rs

Skipped

14.7 ms*

tests[print-function]

benches/ci_benchmarking.rs

Skipped

1.4 ms*

Commits

Click on a commit to change the comparison range

Base

main

abc9de3

+0.21%

initial draft of "custom UF tables"

8ff50f4

27 days ago

by ezrosent

Home Terms Privacy Docs