feat(borrow): CORE-01 Slice C' loop soundness — 2-iteration check on while/for (Refs #177)#396
Merged
Merged
GitHub Advanced Security / CodeQL
succeeded
May 27, 2026 in 2s
No new alerts in code changed by this pull request
Loading