Support Self and generic variables in loop invariants#99

coord-e wants to merge 2 commits into

maincoord-e/thrust:mainfrom

claude/loop-invariant-context-self-genericscoord-e/thrust:claude/loop-invariant-context-self-genericsCopy head branch name to clipboard