oflatt-proofs-7 - Branch - egraphs-good/egglog

Proof checker

#764

Comparing

oflatt-proofs-7

(

ddf79c1

) with

ezr-oflatt-refactor-proofs-4

(

9f11c5f

)

-5%

Regression: 2

Untouched: 18

Skipped: 192

Benchmarks

192 total

The benchmarks below were skipped, so their baseline results are used instead. If they were deleted in your codebase, archive them to remove them from the performance reports.
Learn more about archiving benchmarks

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[array]

benches/ci_benchmarking.rs

Skipped

27.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bdd]

benches/ci_benchmarking.rs

Skipped

14.7 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[print-function]

benches/ci_benchmarking.rs

Skipped

1.4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bitwise]

benches/ci_benchmarking.rs

Skipped

930.2 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bool]

benches/ci_benchmarking.rs

Skipped

1.8 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[birewrite]

benches/ci_benchmarking.rs

Skipped

1.9 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[antiunify]

benches/ci_benchmarking.rs

Skipped

2.8 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-equal-constant2]

benches/ci_benchmarking.rs

Skipped

715 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-empty-query]

benches/ci_benchmarking.rs

Skipped

688 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[bignum]

benches/ci_benchmarking.rs

Skipped

1.1 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[combinators]

benches/ci_benchmarking.rs

Skipped

20.4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[before-proofs]

benches/ci_benchmarking.rs

Skipped

2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[push-pop]

benches/ci_benchmarking.rs

Skipped

821 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[rat-pow-eval]

benches/ci_benchmarking.rs

Skipped

3.9 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-new-backend-prims]

benches/ci_benchmarking.rs

Skipped

824.4 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[cyk]

benches/ci_benchmarking.rs

Skipped

13.7 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-new-backend-delete]

benches/ci_benchmarking.rs

Skipped

544.7 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[prims]

benches/ci_benchmarking.rs

Skipped

4 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-desugar-143]

benches/ci_benchmarking.rs

Skipped

9.3 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[combined-nested]

benches/ci_benchmarking.rs

Skipped

936.8 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-equal-constant]

benches/ci_benchmarking.rs

Skipped

702.8 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-define]

benches/ci_benchmarking.rs

Skipped

881.6 µs*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[complex-merge-func]

benches/ci_benchmarking.rs

Skipped

1.1 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[calc]

benches/ci_benchmarking.rs

Skipped

6.2 ms*

Uses the CPU Simulation instrument
to collect CPU performance metrics.

tests[repro-noteqbug]

benches/ci_benchmarking.rs

Skipped

921.8 µs*

Commits

Click on a commit to change the comparison range

Base

ezr-oflatt-refactor-proofs-4

9f11c5f

-0.88%

fix build

bb47c6d

1 month ago

by oflatt

+0.22%

lots of fixes with resolved commands

7414111

1 month ago

by oflatt

-4.46%

remove proof type checker

3d18b39

1 month ago

by oflatt

+4.49%

debug another time

405420d

1 month ago

by oflatt

-4.38%

working on fix prove query

2755dd6

1 month ago

by oflatt

+4.24%

working on proving queries again

5b6927e

1 month ago

by oflatt

+0.01%

small refactor

33609aa

1 month ago

by oflatt

-4.28%

don't push

b41c72e

1 month ago

by oflatt

+0.03%

need to debug desugared commands not present

b1b8ca2

1 month ago

by oflatt

-0.21%

fix more stuff

f0bf261

1 month ago

by oflatt

-0.86%

print out proofs

f98592c

1 month ago

by oflatt

+0.84%

trying to add output var

f5ddeaf

1 month ago

by oflatt

+0.07%

fix for rebvuild proofs

a9e551f

1 month ago

by oflatt

-0.04%

better error msg

ddf79c1

1 month ago

by oflatt

Home Terms Privacy Docs