Skip to content

IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening - #529

Merged
johnchandlerburnham merged 19 commits into
mainfrom
ap/ixvm4
Aug 3, 2026
Merged

IxVM: cheaper shard checking via an addr-first kernel, plus soundness hardening#529
johnchandlerburnham merged 19 commits into
mainfrom
ap/ixvm4

Compile: key the universe cache by its parameter context

fe6eb75
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar