Skip to content

[codex] Preserve outer parameter links in loop invariants#150

Merged
coord-e merged 1 commit into
mainfrom
fix/loop-invariant-outer-param-link
Jun 28, 2026
Merged

[codex] Preserve outer parameter links in loop invariants#150
coord-e merged 1 commit into
mainfrom
fix/loop-invariant-outer-param-link

Connect non-flow arguments to outer parameters

29a451d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar