🐛 Enforce quantum allocation and QIR output contracts - #2446

Merged

simon1hofmann merged 8 commits into

mainfrom

codex/2287-reject-conditional-qir-allocation

Sep 8, 2026

Commits on Sep 8, 2026

🐛 Diagnose conditional Adaptive QIR allocation

simon1hofmann
authored and
burgholzer
committed
5568421
🔇 Preserve the GoogleTest setup override name

simon1hofmann
authored and
burgholzer
committed
004e022
🔇 Remove redundant SetUp naming suppression

simon1hofmann
authored and
burgholzer
committed
c1a14d5
🐛 Verify quantum allocation scope at program entry

simon1hofmann
authored and
burgholzer
committed
3b1ae44
🐛 Fix allocation tests and capability docs

simon1hofmann
authored and
burgholzer
committed
24e4ac8
🐛 Enforce QIR output and resource ownership contracts
burgholzer
committed
e89cb4b
♻️ Keep allocation tests on structured control flow
burgholzer
committed
85444bf
🔀 Merge main into QIR contract fixes
simon1hofmann
committed
f07720a