yihozhang-groundedness-check - Branch - egraphs-good/egglog

Add grounded-ness check during lowering to core

#635Merged

Comparing

yihozhang-groundedness-check

(

7aa6664

) with

main

(

5542549

)

-9%

Improvements: 0

Regressions: 1

Untouched: 9

New: 0

Dropped: 0

Ignored: 93

Benchmarks

Failed

rat-pow-evalRegression

benches/example_benchmarks.rs::benches::criterion_benchmark::rat-pow-eval

-9%

3.5 ms

3.8 ms

Passed

math-microbenchmark

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

9 s

cykjson

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

474.9 ms

475.1 ms

extract-vec-bench

benches/example_benchmarks.rs::benches::criterion_benchmark::extract-vec-bench

104.9 ms

105 ms

typeinfer

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

-1%

273.5 ms

274.9 ms

stresstest_large_expr

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

-1%

1.6 s

eggcc-extraction

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

-1%

2.8 s

lambda

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

-1%

81.6 ms

82.5 ms

python_array_optimize

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

-2%

4.8 s

4.9 s

herbie

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

-3%

256.5 ms

264.8 ms

Ignored

antiunifyIgnored

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

-3%

2.7 ms

2.8 ms

arrayIgnored

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

-1%

26.9 ms

27.1 ms

bddIgnored

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

-3%

14.2 ms

14.5 ms

before-proofsIgnored

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

-4%

1.9 ms

2 ms

bignumIgnored

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

-6%

1 ms

1.1 ms

birewriteIgnored

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

-3%

1.9 ms

bitwiseIgnored

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

-12%

831.8 µs

947.4 µs

boolIgnored

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

-15%

1.6 ms

1.9 ms

calcIgnored

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

-6%

5.9 ms

6.2 ms

combinatorsIgnored

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

-2%

20.4 ms

20.8 ms

combined-nestedIgnored

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

-2%

927.8 µs

950.6 µs

complex-merge-funcIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-func

-4%

1.1 ms

complex-merge-primIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::complex-merge-prim

-5%

883.2 µs

927.1 µs

container-rebuildIgnored

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

-3%

2.7 ms

2.8 ms

cykIgnored

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

-1%

22.7 ms

23 ms

datatypesIgnored

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

-1%

792.5 µs

798.8 µs

deleteIgnored

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

-3%

659.4 µs

680.9 µs

eqsat-basicIgnored

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

-4%

1.8 ms

1.9 ms

eqsat-basic-multisetIgnored

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

-10%

3.9 ms

4.3 ms

eqsolveIgnored

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

-1%

31.5 ms

31.8 ms

f64Ignored

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

-12%

1.2 ms

1.4 ms

fail_wrong_assertionIgnored

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

-8%

1.5 ms

1.6 ms

fibonacciIgnored

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

-3%

1.2 ms

fibonacci-demandIgnored

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

-4%

2.3 ms

2.4 ms

fusionIgnored

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

-4%

22.1 ms

22.9 ms

herbie-tutorialIgnored

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

-6%

8.9 ms

9.5 ms

i64Ignored

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

-4%

410.2 µs

429.2 µs

includeIgnored

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

-4%

1.3 ms

1.4 ms

integer_mathIgnored

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

-4%

13.1 ms

13.6 ms

intersectionIgnored

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

-2%

2.9 ms

3 ms

intervalIgnored

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

-4%

2 ms

2.1 ms

knapsackIgnored

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

-2%

7.8 ms

7.9 ms

levenshtein-distanceIgnored

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

-1%

19.5 ms

19.6 ms

listIgnored

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

-4%

4.8 ms

5 ms

looking_up_globalIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_global

587.6 µs

587.4 µs

looking_up_nonconstructor_in_rewrite_goodIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::looking_up_nonconstructor_in_rewrite_good

-5%

620.4 µs

656 µs

mapIgnored

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

-2%

789.9 µs

807.6 µs

mathIgnored

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

-2%

38.1 ms

38.7 ms

matrixIgnored

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

-2%

10.1 ms

10.3 ms

merge-during-rebuildIgnored

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

-2%

1.3 ms

merge-saturatesIgnored

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

-1%

3.4 ms

merge_readIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::merge_read

-1%

501.5 µs

505.6 µs

multisetIgnored

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

-16%

3 ms

3.6 ms

name-resolutionIgnored

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

-2%

1.3 ms

1.4 ms

naturalsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::naturals

-1%

3.5 ms

3.6 ms

pathIgnored

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

-2%

1.3 ms

path-unionIgnored

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

-3%

1.5 ms

pathproofIgnored

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

-2%

1.7 ms

1.8 ms

points-toIgnored

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

-4%

2.8 ms

2.9 ms

primitivesIgnored

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

-9%

686.3 µs

756 µs

primsIgnored

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

-4%

3.9 ms

4.1 ms

push-popIgnored

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

-3%

814.4 µs

837.8 µs

repro-defineIgnored

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

-1%

869 µs

882 µs

repro-desugar-143Ignored

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

-1%

10.4 ms

10.6 ms

repro-empty-queryIgnored

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

-3%

655.1 µs

672.7 µs

repro-equal-constantIgnored

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

-3%

682.8 µs

707.3 µs

repro-equal-constant2Ignored

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

-3%

703.1 µs

724.8 µs

repro-new-backend-deleteIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-delete

-1%

539.7 µs

547.6 µs

repro-new-backend-primsIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-prims

-4%

805.2 µs

838 µs

repro-new-backend-python-vecIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::repro-new-backend-python-vec

-12%

160.9 ms

183.4 ms

repro-noteqbugIgnored

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

-6%

865.2 µs

916.9 µs

repro-primitive-queryIgnored

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

-3%

747.9 µs

770.3 µs

repro-querybugIgnored

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

-3%

1.1 ms

repro-querybug2Ignored

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

-1%

763 µs

768.2 µs

repro-querybug3Ignored

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

-2%

2 ms

repro-querybug4Ignored

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

-3%

777.8 µs

803.5 µs

repro-should-saturateIgnored

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

-3%

613.2 µs

631.9 µs

repro-silly-panicIgnored

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

-3%

950 µs

974.5 µs

repro-typechecking-scheduleIgnored

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

-2%

425.9 µs

435 µs

repro-unsoundIgnored

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

399 ms

399.2 ms

repro-unsound-htutorialIgnored

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

-2%

1 ms

repro-vec-unequalIgnored

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

-2%

1 ms

1.1 ms

resolutionIgnored

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

-5%

4.6 ms

4.9 ms

rw-analysisIgnored

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

-2%

30.7 ms

31.4 ms

schedule-demoIgnored

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

-2%

2.4 ms

setIgnored

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

-15%

2.5 ms

3 ms

set_sort_functionIgnored

benches/example_benchmarks.rs::benches::criterion_benchmark::set_sort_function

738.3 µs

741.3 µs

stratifiedIgnored

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

-3%

1.2 ms

stringIgnored

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

-7%

588.9 µs

634.8 µs

string_quotesIgnored

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

+3%

528.4 µs

513.4 µs

subsumeIgnored

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

-4%

1.7 ms

subsume-relationIgnored

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

-1%

1 ms

test-combinedIgnored

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

-3%

1.5 ms

test-combined-stepsIgnored

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

-3%

3.1 ms

3.2 ms

towers-of-hanoiIgnored

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

-2%

3.4 ms

3.5 ms

tricky-type-checkingIgnored

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

-3%

12.6 ms

13 ms

type-constraints-testsIgnored

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

-6%

561.3 µs

600 µs

typecheckIgnored

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

-2%

6.9 ms

7.1 ms

unification-points-toIgnored

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

-2%

10.6 ms

10.9 ms

unifyIgnored

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

-3%

1.2 ms

unstable-fnIgnored

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

-2%

6.6 ms

6.8 ms

untilIgnored

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

-4%

3.2 ms

3.3 ms

vecIgnored

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

-16%

1.6 ms

1.9 ms

Commits

Click on a commit to change the comparison range

Base

main

5542549

-9%

trailing newline

6fb121d

13 days ago

by yihozhang

add gus' example

2dbf7b6

13 days ago

by yihozhang

add one more example

11162ce

13 days ago

by yihozhang

+1%

Merge branch 'main' into yihozhang-groundedness-check

7aa6664

5 days ago

by yihozhang

Home Terms Privacy Docs