oflatt-fn-encoding - Branch - egraphs-good/egglog - CodSpeed

Blog Docs Changelog

[Proposal/RFC] Encoding partially applied functions

Comparing

oflatt-fn-encoding

(

fffc4e9

) with

main

(

24d914f

)

0%

Archived: 96

Benchmarks

96 total

The benchmarks below were run, but are now archived.
If they were deleted in another branch, consider rebasing to remove them from the report.
If they were added back in this branch, you can restore them to include them in future performance reports.
Learn more about archiving benchmarks

bdd

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

16.6 ms16.6 ms

calc

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

5.2 ms5.2 ms

array

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

26 ms26 ms

before-proofs

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

1.3 ms1.3 ms

antiunify

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

2.2 ms2.2 ms

combined-nested

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

-1%

658.6 µs662 µs

bignum

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

605.6 µs607.6 µs

repro-querybug4

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

496.5 µs496.8 µs

bitwise

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

567 µs567.8 µs

repro-querybug3

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

1.4 ms1.4 ms

bool

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

-1%

1.2 ms1.2 ms

container-rebuild

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

1.5 ms1.6 ms

repro-unsound

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

504.2 ms503.9 ms

combinators

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

24.5 ms24.6 ms

map

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

418.9 µs420.6 µs

repro-typechecking-schedule

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

251 µs250.9 µs

birewrite

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

-1%

1.2 ms1.2 ms

looking_up_nonconstructor_in_rewrite_good

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

-1%

424 µs428.6 µs

delete

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

-2%

386.8 µs392.7 µs

cyk

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

11.5 ms11.5 ms

looking_up_global

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

292.6 µs292.3 µs

repro-should-saturate

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

-1%

422.7 µs427.1 µs

repro-silly-panic

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

+1%

582.2 µs576.7 µs

eggcc-extraction

benches/example_benchmarks.rs::benches::criterion_benchmark

Archived

0%

2.2 s2.2 s

matrix

benches/example_benchmarks.rs::benches::criterion_benchmark

IgnoredArchived

0%

11.3 ms11.3 ms

Commits

Click on a commit to change the comparison range

Base

main

0c37937

+0.08%

new writeup

0c37937

10 months ago

by oflatt

-0.17%

fix up example

fffc4e9

10 months ago

by oflatt

© 2026 CodSpeed Technology

Home Terms Privacy Docs