feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + while simulation (settles #601)#665

hyperpolymath merged 1 commit into

mainhyperpolymath/affinescript:mainfrom

claude/lucid-cray-4a22dp-r2loopshyperpolymath/affinescript:claude/lucid-cray-4a22dp-r2loopsCopy head branch name to clipboard