✨ Add QCO If operation#1506

Merged

burgholzer merged 72 commits into

munich-quantum-toolkit:mainfrom

li-mingbao:qco-if

Feb 21, 2026

Commits on Feb 7, 2026

add basic qco if operation
Li-ming Bao
committed
add qco if builder
Li-ming Bao
committed
add verifier and extra functions
Li-ming Bao
committed
rename operation and parameters
Li-ming Bao
committed
fix qubit management for qco if
Li-ming Bao
committed
add canonicalizer for qco if
Li-ming Bao
committed

Commits on Feb 9, 2026

add additional inferfaces for cfg optimizations
Li-ming Bao
committed
add docstrings
Li-ming Bao
committed
add additional verifiers
Li-ming Bao
committed
add description to qco.if operation
Li-ming Bao
committed
move IfOp into a new folder
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into qco-if
Li-ming Bao
committed
change description of the builder
Li-ming Bao
committed
adjust description for the qco.if operation
Li-ming Bao
committed
add missing word
Li-ming Bao
committed
fix wrong variable name
Li-ming Bao
committed
add missing headers
Li-ming Bao
committed
fix more linter issues
Li-ming Bao
committed
add additional check in verifier
Li-ming Bao
committed
add tests
Li-ming Bao
committed
fix linter issues in tests
Li-ming Bao
committed

Commits on Feb 12, 2026

Merge remote-tracking branch 'upstream/main' into qco-if
Li-ming Bao
committed
disable linter issue for now
Li-ming Bao
committed
add ConditionPropagation to IfOp
Li-ming Bao
committed
update tests
Li-ming Bao
committed
add InsertionGuard into the build function
Li-ming Bao
committed
test building the if operation directly
Li-ming Bao
committed
add operand aliasing
Li-ming Bao
committed
fix linter issues
Li-ming Bao
committed
remove debug print
Li-ming Bao
committed
add qubits keyword
Li-ming Bao
committed
print i1 type
Li-ming Bao
committed

Commits on Feb 13, 2026

smaller fixes
Li-ming Bao
committed
add example in .td
Li-ming Bao
committed
add coderabbit suggestion
Li-ming Bao
committed
remove tensor input for now
Li-ming Bao
committed
address coderabbit suggestions
Li-ming Bao
committed
update example with new syntax
Li-ming Bao
committed

Commits on Feb 16, 2026

apply feedback
Li-ming Bao
committed
update the tests
Li-ming Bao
committed
remove const from core IR types
Li-ming Bao
committed
update the tests to only use one qubit
Li-ming Bao
committed
always assume that the else region exists
Li-ming Bao
committed
fix broken test
Li-ming Bao
committed
apply coderabbit feedback
Li-ming Bao
committed

Commits on Feb 17, 2026

apply codereview suggestions
Li-ming Bao
committed
adjust copied code to fit project codestyle
Li-ming Bao
committed
more feedback
Li-ming Bao
committed
remove unused header
Li-ming Bao
committed
fix issue with qubit tracking
Li-ming Bao
committed
add additional tests
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into qco-if
Li-ming Bao
committed
trying to fix error
Li-ming Bao
committed

Commits on Feb 20, 2026

Merge remote-tracking branch 'upstream/main' into qco-if
Li-ming Bao
committed
fix includes
Li-ming Bao
committed
add variant option for qco if
Li-ming Bao
committed
add tests to new testsuite
Li-ming Bao
committed
add two qubit test
Li-ming Bao
committed
remove old tests
Li-ming Bao
committed
add additional tests
Li-ming Bao
committed
update CHANGELOG.md
Li-ming Bao
committed
apply coderabbit suggestions
Li-ming Bao
committed
apply coderabbit suggestion
Li-ming Bao
committed
remove stray semicolon
Li-ming Bao
committed

Commits on Feb 21, 2026

Merge branch 'main' into qco-if
burgholzer
authored
make elseBranch optional
Li-ming Bao
committed
adjust tests
Li-ming Bao
committed
add test for direct if construction
Li-ming Bao
committed
add header
Li-ming Bao
committed
adjust tests again
Li-ming Bao
committed
Update qco_programs.cpp
burgholzer
authored
fix broken test
Li-ming Bao
committed