Add f64 exp, log, and sqrt primitives
#834Comparing
saulshanabrook:codex/f64-unary-primitives
(6b6a5ea
) withmain
(21bd8c6
)0%
- Untouched
- 36
- Skipped
- 192
Benchmarks
228 total
tests[herbie-tutorial]
benches/ci_benchmarking.rs+2%
11.2 ms11 ms
rust_rule_insert_loop[ops1000_funcs200]
benches/rust_api_benchmarking.rs+2%
713.5 µs*698.8 µs
tests[math-microbenchmark]
benches/ci_benchmarking.rs+1%
9.2 s*9 s
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs+1%
303.7 ms*300.1 ms
tests[cykjson]
benches/ci_benchmarking.rs+1%
368.6 ms*364.2 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs+1%
7 s6.9 s
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs+1%
38.8 ms38.5 ms
tests[herbie]
benches/ci_benchmarking.rs+1%
288.2 ms286.4 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs+1%
21.1 ms*21 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs0%
626 ms*622.9 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs0%
8.3 ms8.3 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs0%
1.7 s1.7 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
274.7 ms*274 ms
tests[typeinfer]
benches/ci_benchmarking.rs0%
276 ms*275.4 ms
rust_rule_match_with_serialize[rule_run_1]
benches/rust_api_benchmarking.rs0%
306 ms305.6 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs0%
21.5 ms21.5 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs0%
37.3 ms37.2 ms
tests[typeinfer]
benches/ci_benchmarking.rs0%
240.2 ms240 ms
rust_rule_match_overhead[rule_run_1]
benches/rust_api_benchmarking.rs0%
32.4 ms32.4 ms
tests[herbie]
benches/ci_benchmarking.rs0%
253.7 ms253.6 ms
rust_rule_tableaction_hot_path[facts50000_funcs200]
benches/rust_api_benchmarking.rs0%
872.7 ms872.4 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs0%
257.2 ms257.2 ms
rust_rule_fib[rule_run_1000]
benches/rust_api_benchmarking.rs0%
403.8 ms403.8 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs0%
8.6 s8.6 s
tests[cykjson]
benches/ci_benchmarking.rs0%
531.4 ms531.5 ms
Commits
Click on a commit to change the comparison rangeBase
main
21bd8c6
+0.15%
Simplify failing f64 test cases
71b08b0
8 days ago
by saulshanabrook+0.06%
Fix f64 docs and test fixture naming
65a124e
8 days ago
by saulshanabrook-0.03%
Rename exp fixtures in integration tests
6b6a5ea
8 days ago
by saulshanabrook