oflatt-proofs-encoding-2 - Branch - egraphs-good/egglog

Proof encoding in egglog itself

#770

Comparing

oflatt-proofs-encoding-2

(

80031f9

) with

main

(

f028092

)

-10%

Regression: 5

Untouched: 17

Skipped: 190

No successful run was found on main ( 57fdb7d) during the generation of this report, so f028092 was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.

Benchmarks

190 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

main

f028092

-9.91%

nits

19873c4

11 days ago

by oflatt

respond to first round feedback from @ezrosent

80031f9

5 days ago

by oflatt

Home Terms Privacy Docs