saulshanabrook:let-bindings-again - Branch - egraphs-good/egglog

Serialize let bindings

#701

Comparing

saulshanabrook:let-bindings-again

(

90623a9

) with

main

(

e28e4e0

)

Untouched: 11

Ignored: 93

Benchmarks

Passed

cykjson

benches/example_benchmarks.rs::benches::criterion_benchmark

+1%

476.9 ms473.8 ms

eggcc-extraction

benches/example_benchmarks.rs::benches::criterion_benchmark

2.8 s2.8 s

herbie

benches/example_benchmarks.rs::benches::criterion_benchmark

260 ms259.8 ms

typeinfer

benches/example_benchmarks.rs::benches::criterion_benchmark

265.1 ms265 ms

print-function

benches/example_benchmarks.rs::benches::criterion_benchmark

1.5 ms1.5 ms

python_array_optimize

benches/example_benchmarks.rs::benches::criterion_benchmark

4.8 s4.8 s

lambda

benches/example_benchmarks.rs::benches::criterion_benchmark

80.5 ms80.5 ms

stresstest_large_expr

benches/example_benchmarks.rs::benches::criterion_benchmark

1.5 s1.5 s

rat-pow-eval

benches/example_benchmarks.rs::benches::criterion_benchmark

-1%

3.8 ms3.8 ms

extract-vec-bench

benches/example_benchmarks.rs::benches::criterion_benchmark

-1%

100.2 ms101.3 ms

math-microbenchmark

benches/example_benchmarks.rs::benches::criterion_benchmark

-2%

8.6 s8.7 s

Ignored

array

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

26.6 ms26.6 ms

bdd

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

14.3 ms14.2 ms

before-proofs

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.9 ms1.9 ms

antiunify

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

2.7 ms2.8 ms

bignum

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.1 ms1.1 ms

multiset

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

3.5 ms3.5 ms

merge_read

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

496.3 µs492.3 µs

birewrite

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.9 ms1.9 ms

name-resolution

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.3 ms1.3 ms

naturals

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

3.5 ms3.5 ms

bool

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.8 ms1.8 ms

bitwise

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

921.3 µs912.4 µs

path-union

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.5 ms1.5 ms

rw-analysis

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

30.9 ms31 ms

repro-typechecking-schedule

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

426.2 µs425 µs

calc

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

6.1 ms6.1 ms

schedule-demo

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

2.3 ms2.3 ms

repro-vec-unequal

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1 ms1 ms

resolution

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

4.7 ms4.8 ms

pathproof

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.7 ms1.7 ms

path

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.3 ms1.3 ms

primitives

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

741.4 µs741.5 µs

combinators

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

19.8 ms20 ms

repro-unsound-htutorial

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1 ms1 ms

set_sort_function

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

721.1 µs718.8 µs

complex-merge-prim

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

910.4 µs901.6 µs

repro-unsound

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

381 ms386.7 ms

set

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

2.9 ms2.9 ms

stratified

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.2 ms1.2 ms

string

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

619.6 µs615.3 µs

subsume-relation

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1 ms1 ms

container-rebuild

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

2.8 ms2.8 ms

prims

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

3.9 ms4 ms

combined-nested

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

936.9 µs931.1 µs

test-combined-steps

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

3 ms3.1 ms

test-combined

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.5 ms1.5 ms

cyk

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

22.6 ms22.6 ms

complex-merge-func

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.1 ms1.1 ms

subsume

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

1.7 ms1.7 ms

push-pop

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

821.1 µs819.1 µs

type-constraints-tests

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

581.6 µs584.8 µs

datatypes

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

784.2 µs787.9 µs

points-to

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-2%

2.8 ms2.8 ms

tricky-type-checking

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

12.8 ms12.8 ms

towers-of-hanoi

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

3.5 ms3.5 ms

repro-empty-query

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

661.5 µs662.5 µs

string_quotes

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

506.1 µs502.7 µs

until

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

3.3 ms3.3 ms

unification-points-to

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

10.7 ms10.7 ms

unstable-fn

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

6.6 ms6.6 ms

typecheck

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

6.9 ms7 ms

repro-new-backend-python-vec

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

179.9 ms179.8 ms

unify

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.2 ms1.2 ms

repro-desugar-143

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

10.3 ms10.3 ms

repro-define

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

872.7 µs873.7 µs

eqsat-basic

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.9 ms1.9 ms

repro-new-backend-prims

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

835.3 µs835.4 µs

vec

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.9 ms1.9 ms

eqsolve

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

31.6 ms31.7 ms

delete

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

667.6 µs662.7 µs

repro-primitive-query

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

747.1 µs754.5 µs

f64

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.3 ms1.3 ms

repro-equal-constant

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

700.2 µs701.2 µs

repro-equal-constant2

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

717.7 µs712 µs

fibonacci-demand

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

2.3 ms2.3 ms

interval

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

2 ms2 ms

repro-noteqbug

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

899.3 µs898.6 µs

intersection

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

2.9 ms2.9 ms

fail_wrong_assertion

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.6 ms1.6 ms

include

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

1.3 ms1.3 ms

repro-should-saturate

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+2%

622.5 µs613 µs

repro-silly-panic

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

958.4 µs959.6 µs

repro-querybug2

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

+1%

759.2 µs754 µs

repro-new-backend-delete

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

536.7 µs535.3 µs

repro-querybug3

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

2 ms2 ms

fibonacci

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.2 ms1.2 ms

i64

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

411.3 µs411.7 µs

eqsat-basic-multiset

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

4.2 ms4.2 ms

repro-querybug4

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

786.7 µs785 µs

knapsack

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

7.7 ms7.8 ms

integer_math

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

13.2 ms13.4 ms

repro-querybug

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

1.1 ms1.1 ms

fusion

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

22.3 ms22.4 ms

levenshtein-distance

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

19.4 ms19.4 ms

herbie-tutorial

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

9.3 ms9.3 ms

map

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

785.3 µs795.6 µs

math

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

38.2 ms38.6 ms

merge-saturates

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

3.3 ms3.3 ms

list

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

4.9 ms4.9 ms

matrix

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

10.1 ms10.1 ms

looking_up_nonconstructor_in_rewrite_good

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

645.9 µs644.6 µs

merge-during-rebuild

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

1.3 ms1.3 ms

looking_up_global

benches/example_benchmarks.rs::benches::criterion_benchmark

Ignored

-1%

570.5 µs576.1 µs

Commits

Click on a commit to change the comparison range

Base

main

e28e4e0

-7.52%

Serialize let bindings Closes #376 by storing the let bindings on the serialized format. This also will show them in the visualizer now

567f561

2 days ago

by saulshanabrook

update serialize dep

8bd7e4f

2 days ago

by saulshanabrook

+7.27%

Fix duplicate creation of class id

90623a9

1 day ago

by saulshanabrook

Home Terms Privacy Docs