Support Self and generic variables in loop invariants#102
Closed
coord-e wants to merge 11 commits into
Closed
Commits
Commits on Jun 3, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- authored andcommitted
