Skip to content

Structural Aggregate IR Invariants#1242

Merged
zonotope merged 6 commits into
mainfrom
refactor/ir-contract
May 21, 2026
Merged

Structural Aggregate IR Invariants#1242
zonotope merged 6 commits into
mainfrom
refactor/ir-contract

Commits

Commits on May 10, 2026

Commits on May 14, 2026

Commits on May 15, 2026