Skip to content

Execute the completion/splitting pass as a lockstep rule and prove nested owned-bank lifetimes (no new kappa) - #5443

Open
Matarener wants to merge 3 commits into
CrocSwap:mainfrom
Matarener:lockstep-completion-splitting
Open

Execute the completion/splitting pass as a lockstep rule and prove nested owned-bank lifetimes (no new kappa)#5443
Matarener wants to merge 3 commits into
CrocSwap:mainfrom
Matarener:lockstep-completion-splitting

Pair each path's exit peak with its own live inventory in the bank pe…

38119b3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 24, 2026 in 3m 15s