Skip to content

feat(borrow): CORE-01 Slice C' loop soundness — 2-iteration check on while/for (Refs #177)#396

Merged
hyperpolymath merged 1 commit into
mainfrom
core-01/slice-c-prime-loop
May 27, 2026
Merged

feat(borrow): CORE-01 Slice C' loop soundness — 2-iteration check on while/for (Refs #177)#396
hyperpolymath merged 1 commit into
mainfrom
core-01/slice-c-prime-loop

Commits

Commits on May 27, 2026