saulshanabrook:codex/split-unstable-fn-primitive-targets - Branch - egraphs-good/egglog

Allow unstable-fn to target primitives

#889

Comparing

saulshanabrook:codex/split-unstable-fn-primitive-targets

(

671b2b5

) with

main

(

8c1c70b

)

+8%

Improvement: 1

Untouched: 24

Skipped: 215

No successful run was found on main ( d330f2c) during the generation of this report, so 8c1c70b was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.

Benchmarks

240 total

tests[repro-665-set-union]

benches/ci_benchmarking.rs

+8%

627.6 ms578.6 ms

tests[typeinfer]

benches/ci_benchmarking.rs

+1%

108.1 ms107.4 ms

rust_rule_match_with_serialize[rule_run_1]

benches/rust_api_benchmarking.rs

286.9 ms286.6 ms

tests[stresstest_large_expr]

benches/ci_benchmarking.rs

1.6 s1.6 s

tests[eggcc-2mm]

benches/ci_benchmarking.rs

10 s10 s

tests[extract-vec-bench]

benches/ci_benchmarking.rs

76.3 ms76.3 ms

tests[taylor51]

benches/ci_benchmarking.rs

5.3 s5.3 s

tests[proof_testing_typecheck]

benches/ci_benchmarking.rs

128.5 ms128.5 ms

tests[math-microbenchmark]

benches/ci_benchmarking.rs

8 s8 s

tests[hardboiled_conv1d_128]

benches/ci_benchmarking.rs

2.9 s2.9 s

tests[rectangle]

benches/ci_benchmarking.rs

12.1 s12.1 s

tests[hardboiled_conv1d_32]

benches/ci_benchmarking.rs

963.9 ms964 ms

tests[factoring-multisets]

benches/ci_benchmarking.rs

74.3 ms74.3 ms

rust_rule_fib[rule_run_1000]

benches/rust_api_benchmarking.rs

280.7 ms280.7 ms

rust_rule_match_overhead[rule_run_1]

benches/rust_api_benchmarking.rs

12.7 ms12.7 ms

tests[cykjson]

benches/ci_benchmarking.rs

440.2 ms440.2 ms

rust_rule_tableaction_hot_path[facts50000_funcs200]

benches/rust_api_benchmarking.rs

34.6 ms34.6 ms

rust_rule_insert_loop[ops1000_funcs200]

benches/rust_api_benchmarking.rs

548.5 µs548.7 µs

tests[python_array_optimize]

benches/ci_benchmarking.rs

1.5 s1.5 s

tests[luminal-llama]

benches/ci_benchmarking.rs

539.3 ms539.6 ms

tests[proof_testing_eqsat-basic]

benches/ci_benchmarking.rs

24.9 ms24.9 ms

tests[eggcc-extraction]

benches/ci_benchmarking.rs

1.5 s1.6 s

tests[herbie]

benches/ci_benchmarking.rs

168.3 ms168.4 ms

tests[proof_testing_unify]

benches/ci_benchmarking.rs

16.3 ms16.3 ms

tests[herbie-tutorial]

benches/ci_benchmarking.rs

8.4 ms8.4 ms

Commits

Click on a commit to change the comparison range

Base

main

8c1c70b

+8.47%

Allow unstable-fn to target primitives

671b2b5

15 days ago

by saulshanabrook

Home Terms Privacy Docs