GitHub Actions run on branch main - egraphs-good/egglog

GitHub Actions
run

No base run was found for comparison, head run from

1 month ago

N/A

Improvements: 0

Regressions: 0

Untouched: 0

New: 6

Dropped: 0

Ignored: 81

Benchmarks

New

cykjson

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

N/A

338.6 ms

eggcc-extraction

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

N/A

5.5 s

herbie

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

N/A

285.5 ms

lambda

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

N/A

145.1 ms

math-microbenchmark

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

N/A

4.2 s

typeinfer

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

N/A

400.1 ms

Ignored

antiunifyIgnored

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

N/A

2.1 ms

arrayIgnored

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

N/A

26.8 ms

bddIgnored

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

N/A

15.2 ms

before-proofsIgnored

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

N/A

1.6 ms

birewriteIgnored

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

N/A

1.3 ms

bitwiseIgnored

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

N/A

672.2 µs

boolIgnored

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

N/A

1.4 ms

calcIgnored

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

N/A

5.4 ms

combinatorsIgnored

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

N/A

18.5 ms

combined-nestedIgnored

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

N/A

1 ms

container-rebuildIgnored

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

N/A

2 ms

cykIgnored

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

N/A

11.3 ms

datatypesIgnored

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

N/A

549.2 µs

deleteIgnored

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

N/A

623.7 µs

eqsat-basicIgnored

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

N/A

1.6 ms

eqsolveIgnored

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

N/A

31.2 ms

f64Ignored

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

N/A

927.9 µs

fail_wrong_assertionIgnored

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

N/A

1.3 ms

fibonacciIgnored

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

N/A

1.6 ms

fibonacci-demandIgnored

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

N/A

2.1 ms

fusionIgnored

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

N/A

44.2 ms

herbie-tutorialIgnored

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

N/A

12.7 ms

i64Ignored

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

N/A

350.6 µs

includeIgnored

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

N/A

1.2 ms

integer_mathIgnored

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

N/A

12.1 ms

intersectionIgnored

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

N/A

1.9 ms

intervalIgnored

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

N/A

2.7 ms

knapsackIgnored

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

N/A

5.7 ms

levenshtein-distanceIgnored

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

N/A

15.2 ms

listIgnored

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

N/A

4.8 ms

mapIgnored

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

N/A

652.5 µs

mathIgnored

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

N/A

36.8 ms

matrixIgnored

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

N/A

11.5 ms

merge-during-rebuildIgnored

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

N/A

1 ms

merge-saturatesIgnored

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

N/A

3 ms

name-resolutionIgnored

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

N/A

1.2 ms

pathIgnored

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

N/A

1 ms

path-unionIgnored

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

N/A

1.1 ms

pathproofIgnored

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

N/A

1.5 ms

points-toIgnored

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

N/A

2 ms

primitivesIgnored

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

N/A

521 µs

primsIgnored

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

N/A

5.4 ms

push-popIgnored

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

N/A

640 µs

rationalIgnored

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

N/A

887.5 µs

repro-defineIgnored

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

N/A

691 µs

repro-desugar-143Ignored

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

N/A

8.4 ms

repro-empty-queryIgnored

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

N/A

613.9 µs

repro-equal-constantIgnored

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

N/A

665.9 µs

repro-equal-constant2Ignored

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

N/A

649 µs

repro-noteqbugIgnored

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

N/A

744 µs

repro-primitive-queryIgnored

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

N/A

684.3 µs

repro-querybugIgnored

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

N/A

925.8 µs

repro-querybug2Ignored

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

N/A

665.9 µs

repro-querybug3Ignored

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

N/A

2 ms

repro-querybug4Ignored

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

N/A

713.8 µs

repro-should-saturateIgnored

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

N/A

647.6 µs

repro-silly-panicIgnored

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

N/A

916.5 µs

repro-typechecking-scheduleIgnored

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

N/A

459.7 µs

repro-unsoundIgnored

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

N/A

268.9 ms

repro-unsound-htutorialIgnored

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

N/A

846.8 µs

repro-vec-unequalIgnored

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

N/A

764.2 µs

resolutionIgnored

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

N/A

4.1 ms

rw-analysisIgnored

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

N/A

39.8 ms

schedule-demoIgnored

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

N/A

2.2 ms

semi_naive_set_functionIgnored

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

N/A

41.7 ms

setIgnored

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

N/A

2.7 ms

stratifiedIgnored

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

N/A

899 µs

stringIgnored

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

N/A

541.6 µs

string_quotesIgnored

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

N/A

475.3 µs

subsumeIgnored

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

N/A

1.5 ms

test-combinedIgnored

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

N/A

1.3 ms

test-combined-stepsIgnored

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

N/A

2.9 ms

towers-of-hanoiIgnored

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

N/A

5.3 ms

tricky-type-checkingIgnored

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

N/A

11.5 ms

type-constraints-testsIgnored

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

N/A

534.7 µs

typecheckIgnored

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

N/A

5.7 ms

unification-points-toIgnored

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

N/A

7.8 ms

unifyIgnored

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

N/A

1.1 ms

unstable-fnIgnored

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

N/A

5.7 ms

untilIgnored

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

N/A

2.7 ms

vecIgnored

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

N/A

970.3 µs

Home Terms Privacy Docs