Skip to content

Replace BTreeMap in PortConnectivity with a sorted Vec; semi-naive iteration replacing in-place updates#802

Merged
frankmcsherry merged 14 commits into
masterfrom
port_connectivity_vec
Jun 12, 2026
Merged

Replace BTreeMap in PortConnectivity with a sorted Vec; semi-naive iteration replacing in-place updates#802
frankmcsherry merged 14 commits into
masterfrom
port_connectivity_vec

Add Antichain::drain; reuse the per-key proposal batch

1024c32
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar