GitHub Actions run on branch saulshanabrook:clone-cost - egraphs-good/egglog

GitHub Actions run

Instrumentation

6 hours ago 9f5726b saulshanabrook:clone-cost pull_request

Compare

Base

Search a run

Head

Support getting containers from values

#687

saulshanabrook:clone-cost

6 hours ago

Compare

Suggested base runs: •

Benchmarks

lambda

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

81 ms

stresstest_large_expr

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

1.5 s

math-microbenchmark

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

8.7 s

extract-vec-bench

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

100.4 ms

cykjson

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

477.2 ms

eggcc-extraction

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

2.8 s

typeinfer

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

266.2 ms

herbie

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

261.5 ms

print-function

benches/example_benchmarks.rs::benches::criterion_benchmark::print-function

1.5 ms

python_array_optimize

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

4.8 s

rat-pow-eval

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

3.7 ms

Ignored

interval

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

Ignored

2 ms

bignum

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

Ignored

1.1 ms

bdd

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

Ignored

14.4 ms

antiunify

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

Ignored

2.7 ms

array

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

Ignored

26.9 ms

i64

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

Ignored

414.3 µs

integer_math

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

Ignored

13.2 ms

include

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

Ignored

1.3 ms

before-proofs

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

Ignored

1.9 ms

repro-querybug

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

Ignored

1.1 ms

intersection

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

Ignored

2.9 ms

repro-should-saturate

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

Ignored

617 µs

birewrite

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

Ignored

1.9 ms

bitwise

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

Ignored

920.9 µs

repro-unsound-htutorial

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

Ignored

1 ms

repro-silly-panic

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

Ignored

950.6 µs

repro-querybug3

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

Ignored

2 ms

knapsack

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

Ignored

7.8 ms

repro-unsound

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

Ignored

388.8 ms

calc

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

Ignored

6.1 ms

map

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

Ignored

788.6 µs

levenshtein-distance

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

Ignored

19.5 ms

repro-typechecking-schedule

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

Ignored

427.9 µs

combinators

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

Ignored

20 ms

repro-primitive-query

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

Ignored

749.8 µs

set

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

Ignored

2.9 ms

repro-querybug4

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

Ignored

782.5 µs

schedule-demo

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

Ignored

2.3 ms

matrix

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

Ignored

10.1 ms

rw-analysis

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

Ignored

31.1 ms

looking_up_nonconstructor_in_rewrite_good

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

Ignored

637.2 µs

repro-querybug2

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

Ignored

756.7 µs

math

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

Ignored

38.3 ms

complex-merge-func

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

Ignored

1.1 ms

container-rebuild

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

Ignored

2.8 ms

combined-nested

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

Ignored

930.5 µs

cyk

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

Ignored

22.6 ms

list

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

Ignored

4.9 ms

looking_up_global

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

Ignored

570.5 µs

merge-saturates

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

Ignored

3.3 ms

complex-merge-prim

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

Ignored

909 µs

string

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

Ignored

612 µs

merge-during-rebuild

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

Ignored

1.3 ms

test-combined-steps

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

Ignored

3 ms

repro-vec-unequal

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

Ignored

1 ms

subsume

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

Ignored

1.7 ms

tricky-type-checking

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

Ignored

12.8 ms

string_quotes

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

Ignored

505.3 µs

bool

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

Ignored

1.8 ms

resolution

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

Ignored

4.8 ms

delete

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

Ignored

660.7 µs

eqsat-basic

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

Ignored

1.8 ms

set_sort_function

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

Ignored

717.8 µs

subsume-relation

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

Ignored

1 ms

stratified

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

Ignored

1.2 ms

towers-of-hanoi

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

Ignored

3.5 ms

fail_wrong_assertion

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

Ignored

1.6 ms

test-combined

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

Ignored

1.5 ms

eqsolve

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

Ignored

31.8 ms

unify

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

Ignored

1.2 ms

multiset

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

Ignored

3.5 ms

datatypes

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

Ignored

781.6 µs

fibonacci-demand

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

Ignored

2.3 ms

unstable-fn

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

Ignored

6.6 ms

until

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

Ignored

3.3 ms

name-resolution

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

Ignored

1.3 ms

unification-points-to

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

Ignored

10.7 ms

type-constraints-tests

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

Ignored

583 µs

naturals

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

Ignored

3.5 ms

path-union

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

Ignored

1.5 ms

merge_read

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

Ignored

492.2 µs

eqsat-basic-multiset

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

Ignored

4.2 ms

herbie-tutorial

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

Ignored

9.3 ms

vec

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

Ignored

1.9 ms

fusion

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

Ignored

22.5 ms

points-to

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

Ignored

2.8 ms

typecheck

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

Ignored

6.9 ms

prims

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

Ignored

4 ms

repro-new-backend-python-vec

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

Ignored

179.8 ms

pathproof

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

Ignored

1.7 ms

repro-define

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

Ignored

864.1 µs

repro-new-backend-prims

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

Ignored

833.2 µs

fibonacci

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

Ignored

1.2 ms

primitives

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

Ignored

744.4 µs

repro-desugar-143

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

Ignored

10.3 ms

path

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

Ignored

1.3 ms

repro-equal-constant2

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

Ignored

709.9 µs

repro-noteqbug

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

Ignored

894.9 µs

repro-new-backend-delete

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

Ignored

533.1 µs

push-pop

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

Ignored

814.9 µs

repro-equal-constant

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

Ignored

692.2 µs

repro-empty-query

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

Ignored

658.5 µs

f64

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

Ignored

1.3 ms

Home Terms Privacy Docs