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

GitHub Actions
run

7 days ago ae61b41 Alex-Fischman:sexp-parser

Compare

Base

Search a run

Head

Make parser extensible

#497

Alex-Fischman:sexp-parser

7 days ago

Compare

Suggested base runs:

Benchmarks

antiunify

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

2.2 ms

stresstest_large_expr

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

3.1 s

array

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

29.3 ms

bdd

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

25.3 ms

python_array_optimize

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

26 s

path-union

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

1 ms

before-proofs

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

1.5 ms

path

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

852 µs

pathproof

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

1.5 ms

bool

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

1.2 ms

bignum

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

560.6 µs

primitives

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

431 µs

points-to

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

2.9 ms

repro-empty-query

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

412.6 µs

push-pop

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

429.6 µs

calc

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

5.8 ms

prims

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

11.2 ms

birewrite

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

1.2 ms

repro-define

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

479.5 µs

combinators

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

38.5 ms

repro-equal-constant

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

468.2 µs

combined-nested

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

835.9 µs

repro-desugar-143

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

9.3 ms

cykjson

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

378.7 ms

repro-primitive-query

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

525.2 µs

bitwise

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

542.6 µs

repro-equal-constant2

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

455.9 µs

datatypes

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

370.4 µs

repro-noteqbug

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

528.7 µs

container-rebuild

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

1.5 ms

repro-querybug

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

889.5 µs

repro-querybug2

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

487.6 µs

cyk

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

12.6 ms

repro-silly-panic

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

682.4 µs

rw-analysis

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

72.9 ms

repro-should-saturate

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

441.4 µs

schedule-demo

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

2.2 ms

repro-querybug3

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

1.9 ms

repro-vec-unequal

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

551.2 µs

repro-querybug4

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

550.3 µs

resolution

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

10.3 ms

set

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

2.8 ms

delete

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

423.2 µs

repro-typechecking-schedule

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

252.1 µs

repro-unsound

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

248.7 ms

subsume

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

1.5 ms

set_sort_function

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

328.6 µs

unification-points-to

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

33.9 ms

string

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

345.4 µs

typeinfer

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

481.6 ms

test-combined

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

999.6 µs

type-constraints-tests

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

468.8 µs

tricky-type-checking

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

19 ms

string_quotes

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

274.1 µs

test-combined-steps

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

2.9 ms

eggcc-extraction

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

4.9 s

stratified

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

806 µs

towers-of-hanoi

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

4.5 ms

repro-unsound-htutorial

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

646 µs

until

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

3.1 ms

unstable-fn

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

7.9 ms

typecheck

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

8.1 ms

fail_wrong_assertion

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

932.1 µs

eqsat-basic

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

1.9 ms

unify

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

954.3 µs

eqsolve

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

31.7 ms

levenshtein-distance

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

20 ms

eqsat-basic-multiset

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

11 ms

looking_up_nonconstructor_in_rewrite_good

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

476.3 µs

f64

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

735.3 µs

math-microbenchmark

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

4.2 s

vec

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

785.5 µs

map

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

400.6 µs

list

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

7 ms

math

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

73.3 ms

fibonacci-demand

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

2.1 ms

fusion

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

66.1 ms

name-resolution

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

860.8 µs

looking_up_global

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

271.9 µs

merge_read

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

254.9 µs

fibonacci

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

1 ms

merge-saturates

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

2.3 ms

multiset

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

2.7 ms

matrix

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

16.7 ms

herbie-tutorial

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

20.1 ms

integer_math

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

28.7 ms

herbie

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

856.9 ms

intersection

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

1.6 ms

interval

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

2.1 ms

merge-during-rebuild

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

591.9 µs

lambda

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

152.1 ms

i64

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

236.3 µs

knapsack

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

7.4 ms

extract-vec-bench

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

74 ms

include

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

881.4 µs

Home Terms Privacy Docs