Skip to content

Add eager merge container primitives#918

Closed
saulshanabrook wants to merge 14 commits into
egraphs-good:mainfrom
saulshanabrook:codex/eager-merge-containers
Closed

Add eager merge container primitives#918
saulshanabrook wants to merge 14 commits into
egraphs-good:mainfrom
saulshanabrook:codex/eager-merge-containers

Update proof unsupported snapshot

411c991
Select commit
Loading
Failed to load commit list.
CodSpeed HQ / CodSpeed Performance Analysis succeeded Jun 5, 2026 in 0s

Performance Gate Passed

⚡ 1 improved benchmark
✅ 25 untouched benchmarks
⏩ 216 skipped benchmarks1

Performance Changes

Mode Benchmark BASE HEAD Efficiency
Simulation tests[repro-665-set-union] 625.2 ms 581 ms +7.61%

Tip

Curious why this is faster? Comment @codspeedbot explain why this is faster on this PR, or directly use the CodSpeed MCP with your agent.


Comparing saulshanabrook:codex/eager-merge-containers (411c991) with main (f0da95b)

Open in CodSpeed

Footnotes

  1. 216 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports.