GitHub Actions run on branch Alex-Fischman:sexp-parser - egraphs-good/egglog

GitHub Actions
run

6 days ago 3c64505 Alex-Fischman:sexp-parser

Compare

Base

Search a run

Head

Make parser extensible

#497

Alex-Fischman:sexp-parser

6 days ago

Compare

Suggested base runs:

Benchmarks

antiunify

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

1.8 ms

array

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

24.6 ms

bdd

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

16.4 ms

before-proofs

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

1.2 ms

bitwise

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

550 µs

bignum

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

569.2 µs

combinators

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

18.4 ms

calc

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

5.1 ms

bool

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

1.1 ms

birewrite

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

1 ms

datatypes

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

371 µs

eggcc-extraction

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

2.2 s

delete

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

380.8 µs

combined-nested

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

589.9 µs

cykjson

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

386.5 ms

cyk

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

11.2 ms

container-rebuild

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

1.5 ms

eqsolve

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

30.4 ms

eqsat-basic-multiset

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

3.4 ms

fibonacci-demand

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

1.8 ms

integer_math

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

12 ms

knapsack

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

5.7 ms

f64

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

737.7 µs

i64

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

235.9 µs

eqsat-basic

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

1.3 ms

lambda

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

121.1 ms

looking_up_global

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

272.2 µs

fusion

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

35.4 ms

herbie-tutorial

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

8.4 ms

fibonacci

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

903.4 µs

list

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

3.9 ms

levenshtein-distance

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

17.2 ms

herbie

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

284.7 ms

math

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

34.6 ms

looking_up_nonconstructor_in_rewrite_good

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

410.4 µs

interval

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

1.4 ms

fail_wrong_assertion

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

933.6 µs

math-microbenchmark

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

4.2 s

merge-saturates

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

2 ms

extract-vec-bench

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

73.7 ms

repro-unsound

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

244.1 ms

map

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

404 µs

include

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

774.8 µs

matrix

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

10.9 ms

multiset

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

2.4 ms

merge_read

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

254.2 µs

merge-during-rebuild

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

592.4 µs

intersection

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

1.4 ms

set

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

1.9 ms

resolution

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

3.8 ms

rw-analysis

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

37.9 ms

stratified

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

671.3 µs

string_quotes

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

273 µs

python_array_optimize

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

3.8 s

typecheck

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

6.1 ms

path-union

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

865.9 µs

repro-vec-unequal

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

544.3 µs

test-combined

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

867.7 µs

towers-of-hanoi

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

3.3 ms

set_sort_function

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

327.7 µs

name-resolution

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

709 µs

schedule-demo

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

2 ms

string

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

336.7 µs

vec

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

786.8 µs

path

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

736.3 µs

subsume

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

1.1 ms

unify

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

762.3 µs

stresstest_large_expr

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

2.2 s

unification-points-to

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

7.7 ms

tricky-type-checking

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

12.3 ms

unstable-fn

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

5.9 ms

pathproof

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

1.1 ms

test-combined-steps

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

2.6 ms

repro-desugar-143

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

8.3 ms

type-constraints-tests

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

366 µs

prims

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

3.4 ms

repro-silly-panic

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

547.8 µs

points-to

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

1.6 ms

until

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

2.4 ms

primitives

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

434.1 µs

repro-empty-query

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

390 µs

repro-querybug3

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

1.2 ms

push-pop

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

428.5 µs

repro-equal-constant

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

436.5 µs

repro-unsound-htutorial

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

587.1 µs

repro-should-saturate

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

399.4 µs

repro-define

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

473.6 µs

repro-primitive-query

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

456.7 µs

repro-noteqbug

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

528.1 µs

repro-equal-constant2

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

419.6 µs

repro-querybug

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

613.6 µs

repro-querybug4

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

451.2 µs

repro-querybug2

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

430 µs

typeinfer

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

427.1 ms

repro-typechecking-schedule

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

243.4 µs

Home Terms Privacy Docs