saulshanabrook:codex/split-primitive-body-runtime-apis - Branch - egraphs-good/egglog

Add primitive body typecheck helpers

#881Merged

Comparing

saulshanabrook:codex/split-primitive-body-runtime-apis

(

a80b235

) with

main

(

57108da

)

Untouched: 26

Skipped: 216

Benchmarks

216 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

57108da

+27.42%

Address primitive body API review

28d270c

2 months ago

by saulshanabrook

+0.01%

Narrow primitive body eval support

1671a2e

2 months ago

by saulshanabrook

Fix primitive body eval nits

cf4fe23

2 months ago

by saulshanabrook

Reject globals in explicit expression typechecking

efee229

2 months ago

by saulshanabrook

+0.03%

Document resolved eval capability invariant

a0ea0ad

2 months ago

by saulshanabrook

-0.02%

Leave global handling to explicit evaluators

081498a

2 months ago

by saulshanabrook

Revert "Leave global handling to explicit evaluators"

142e07a

2 months ago

by saulshanabrook

-27.29%

Merge remote-tracking branch 'upstream/main' into codex/split-primitive-body-runtime-apis

6ca134b

1 month ago

by saulshanabrook

+0.02%

Return errors for direct unstable-fn preparation

a80b235

1 month ago

by saulshanabrook

Home Terms Privacy Docs