saulshanabrook:remove-symbol - Branch - egraphs-good/egglog

Blog Docs

Remove symbol table(#459)

Closed

Comparing

saulshanabrook:remove-symbol

(

9867c92

) with

main

(

4cae848

)

-50%

IMPROVEMENTS: 0

REGRESSIONS: 8

UNTOUCHED: 0

NEW: 0

DROPPED: 0

IGNORED: 84

Benchmarks

Failed

cykjsonRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::cykjson

-19%

367.7 ms

452.6 ms

eggcc-extractionRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::eggcc-extraction

-17%

4.2 s

5 s

herbieRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::herbie

-46%

281.7 ms

525.3 ms

lambdaRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::lambda

-47%

144.6 ms

274.6 ms

math-microbenchmarkRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::math-microbenchmark

-12%

3.6 s

4.1 s

python_array_optimizeRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::python_array_optimize

-49%

6.1 s

12.1 s

stresstest_large_exprRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::stresstest_large_expr

-34%

2.8 s

4.2 s

typeinferRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::typeinfer

-50%

407 ms

809.9 ms

Ignored

antiunifyIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::antiunify

-36%

1.8 ms

2.8 ms

arrayIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::array

-18%

25.6 ms

31.3 ms

bddIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::bdd

-38%

14.7 ms

23.7 ms

before-proofsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::before-proofs

-36%

1.4 ms

2.1 ms

bignumIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::bignum

-26%

615.7 µs

827.6 µs

birewriteIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::birewrite

-36%

1.1 ms

1.7 ms

bitwiseIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::bitwise

-19%

571.9 µs

708.1 µs

boolIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::bool

-23%

1.2 ms

1.5 ms

calcIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::calc

-46%

5 ms

9.4 ms

combinatorsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::combinators

-43%

17.4 ms

30.4 ms

combined-nestedIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::combined-nested

-17%

626.3 µs

752.3 µs

container-rebuildIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::container-rebuild

-34%

1.5 ms

2.3 ms

cykIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::cyk

-44%

10.7 ms

18.9 ms

datatypesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::datatypes

-25%

397 µs

527.4 µs

deleteIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::delete

-16%

402.9 µs

478.1 µs

eqsat-basicIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic

-33%

1.3 ms

2 ms

eqsat-basic-multisetIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsat-basic-multiset

-36%

3.6 ms

5.6 ms

eqsolveIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::eqsolve

-24%

28.8 ms

38.1 ms

f64Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::f64

-18%

813.5 µs

993.8 µs

fail_wrong_assertionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fail_wrong_assertion

-23%

1 ms

1.3 ms

fibonacciIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci

-27%

1.4 ms

1.9 ms

fibonacci-demandIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fibonacci-demand

-30%

1.8 ms

2.6 ms

fusionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::fusion

-44%

43.4 ms

78 ms

herbie-tutorialIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::herbie-tutorial

-43%

12.6 ms

22.3 ms

i64Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::i64

-13%

239.1 µs

273.3 µs

includeIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::include

-23%

812.4 µs

1,049.6 µs

integer_mathIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::integer_math

-35%

11.7 ms

17.8 ms

intersectionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::intersection

-29%

1.5 ms

2.1 ms

intervalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::interval

-34%

2.5 ms

3.8 ms

knapsackIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::knapsack

-38%

5.4 ms

8.7 ms

levenshtein-distanceIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::levenshtein-distance

-36%

15.4 ms

24 ms

listIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::list

-42%

4.4 ms

7.5 ms

mapIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::map

-17%

424.6 µs

514 µs

mathIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::math

-33%

34 ms

50.7 ms

matrixIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::matrix

-47%

10.8 ms

20.2 ms

merge-during-rebuildIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::merge-during-rebuild

-22%

635.3 µs

817.6 µs

merge-saturatesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::merge-saturates

-35%

2.8 ms

4.3 ms

multisetIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::multiset

-29%

1.8 ms

2.6 ms

name-resolutionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::name-resolution

-25%

765 µs

1,017.3 µs

pathIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::path

-22%

781.7 µs

1,006.8 µs

path-unionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::path-union

-28%

886.7 µs

1,236.5 µs

pathproofIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::pathproof

-28%

1.1 ms

1.5 ms

points-toIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::points-to

-37%

1.7 ms

2.7 ms

primitivesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::primitives

-16%

457 µs

547 µs

primsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::prims

-40%

4.9 ms

8.2 ms

push-popIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::push-pop

-21%

432.8 µs

548.3 µs

rationalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::rational

-20%

658.1 µs

826.8 µs

repro-defineIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-define

-22%

494.1 µs

635.2 µs

repro-desugar-143Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-desugar-143

-37%

8.1 ms

12.9 ms

repro-empty-queryIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-empty-query

-16%

417.3 µs

495.2 µs

repro-equal-constantIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant

-16%

466 µs

552.6 µs

repro-equal-constant2Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-equal-constant2

-14%

455.8 µs

532.2 µs

repro-noteqbugIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-noteqbug

-20%

542.2 µs

680.7 µs

repro-primitive-queryIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-primitive-query

-17%

498.2 µs

599.8 µs

repro-querybugIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug

-26%

687.8 µs

933.9 µs

repro-querybug2Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug2

-16%

456.5 µs

546.6 µs

repro-querybug3Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug3

-34%

1.6 ms

2.5 ms

repro-querybug4Ignored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-querybug4

-17%

506 µs

611.4 µs

repro-should-saturateIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-should-saturate

-15%

426.6 µs

500.2 µs

repro-silly-panicIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-silly-panic

-24%

603.5 µs

790.7 µs

repro-typechecking-scheduleIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-typechecking-schedule

-11%

254.9 µs

286.7 µs

repro-unsoundIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound

-18%

224 ms

274 ms

repro-unsound-htutorialIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-unsound-htutorial

-25%

621.3 µs

824.7 µs

repro-vec-unequalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-vec-unequal

-20%

562.6 µs

702 µs

resolutionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::resolution

-36%

3.9 ms

6 ms

rw-analysisIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::rw-analysis

-50%

39.9 ms

80.4 ms

schedule-demoIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::schedule-demo

-32%

1.8 ms

2.7 ms

semi_naive_set_functionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::semi_naive_set_function

-33%

36.5 ms

54.4 ms

setIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::set

-30%

2.5 ms

3.6 ms

stratifiedIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::stratified

-19%

719.3 µs

893.5 µs

stringIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::string

-24%

351.2 µs

462.3 µs

string_quotesIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::string_quotes

-14%

285.4 µs

332 µs

subsumeIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::subsume

-29%

1.2 ms

1.7 ms

test-combinedIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined

-24%

894.5 µs

1,177.7 µs

test-combined-stepsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::test-combined-steps

-32%

2.5 ms

3.6 ms

towers-of-hanoiIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::towers-of-hanoi

-35%

5.2 ms

8 ms

tricky-type-checkingIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::tricky-type-checking

-45%

11.6 ms

21.1 ms

type-constraints-testsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::type-constraints-tests

-17%

412.3 µs

495.2 µs

typecheckIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::typecheck

-41%

5.5 ms

9.2 ms

unification-points-toIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::unification-points-to

-36%

7.9 ms

12.4 ms

unifyIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::unify

-26%

795.7 µs

1,075.3 µs

unstable-fnIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::unstable-fn

-35%

5.8 ms

9 ms

untilIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::until

-31%

2.4 ms

3.5 ms

vecIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::vec

-19%

851.5 µs

1,050.3 µs

Commits

Click on a commit to change the comparison range

base

main

4cae848

-50%

Fix sexp printing

4c87379

22 days ago

by saulshanabrook

clippy fix

9867c92

22 days ago

by saulshanabrook

ResourcesHome Pricing Docs Blog GitHub Changelog

Getting StartedSample repository Explore repositories Support

AboutCareers Twitter Discord Contact Us Terms of Service Privacy Policy