✨ Add non-linear control flow conversions between QC and QCO dialects#1396

Open

li-mingbao wants to merge 84 commits intomunich-quantum-toolkit:mainfrom

li-mingbao:scf-conversion

Commits on Dec 11, 2025

add support for if else conversion
Li-ming Bao
committed
add initial support for scf while conversion
Li-ming Bao
committed
add initial support for scf forOp conversion
Li-ming Bao
committed

Commits on Dec 12, 2025

add docstrings to QuartzToFlux conversion
Li-ming Bao
committed
add docstrings to FluxToQuartz conversion
Li-ming Bao
committed
fix typo
Li-ming Bao
committed
add support for multiple functions
Li-ming Bao
committed
add more docstrings
Li-ming Bao
committed
fix header
Li-ming Bao
committed
fix bug with multiple qubits
Li-ming Bao
committed
minor fixes
Li-ming Bao
committed

Commits on Dec 14, 2025

fix linter issues
Li-ming Bao
committed

Commits on Dec 15, 2025

prepare programBuilders
Li-ming Bao
committed

Commits on Dec 16, 2025

add quartzProgramBuilder for scf operations
Li-ming Bao
committed
fix typing issue with converted function arguments
Li-ming Bao
committed
add missing headers
Li-ming Bao
committed
start adding FluxProgramBuilders for scf operations
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/dialect-implementation' into scf-conversion
Li-ming Bao
committed
use region as key for validQubis mapt
Li-ming Bao
committed

Commits on Dec 18, 2025

Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
resolve merge conflicts
Li-ming Bao
committed
add qco builder for scfFor operation
Li-ming Bao
committed
add qco builders for scf while and if
Li-ming Bao
committed

Commits on Dec 19, 2025

add stubs for docstrings
Li-ming Bao
committed
add builders for func operations
Li-ming Bao
committed

Commits on Dec 22, 2025

correctly change the induction variable in scf for conversion
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
add simple conversion tests
Li-ming Bao
committed
fixing some tests
Li-ming Bao
committed
remove redundant location
Li-ming Bao
committed
add func conversion tests
Li-ming Bao
committed
add more docstrings
Li-ming Bao
committed
remove unnecessary print statements
Li-ming Bao
committed
fix comments
Li-ming Bao
committed
fix linter issues
Li-ming Bao
committed
fix headers
Li-ming Bao
committed

Commits on Jan 3, 2026

Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
apply codeRabbit feedback
Li-ming Bao
committed

Commits on Jan 7, 2026

Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed

Commits on Jan 10, 2026

small fixes
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
simplify body builders
Li-ming Bao
committed
fix docstrings
Li-ming Bao
committed
change testnames
Li-ming Bao
committed
🎨 pre-commit fixes
pre-commit-ci[bot]
committed
address coderabbit suggestions
Li-ming Bao
committed
add explanation for nested qubit tracking
Li-ming Bao
committed
fix linter issues
Li-ming Bao
committed
add checkFinalized() calls
Li-ming Bao
committed
add headers
Li-ming Bao
committed
add additional assertions and fix builder parameters
Li-ming Bao
committed
fix more wrong docstrings
Li-ming Bao
committed
add additional operation legality checks
Li-ming Bao
committed
add insertionGuards in QCBuilders
Li-ming Bao
committed

Commits on Jan 12, 2026

smaller fixes
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
update scf builder signatures
Li-ming Bao
committed
fix signatures
Li-ming Bao
committed
simplify the builders
Li-ming Bao
committed
remove const from typeConverter
Li-ming Bao
committed
add test for nested operation
Li-ming Bao
committed
simplify the building process with std::variant
Li-ming Bao
committed

Commits on Jan 13, 2026

Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
remove constant builders
Li-ming Bao
committed
use more idiomatic way to build operations
Li-ming Bao
committed
also change creation in QCO
Li-ming Bao
committed

Commits on Jan 15, 2026

fix linter issues
Li-ming Bao
committed
Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
make variantToValue generic
Li-ming Bao
committed
Merge branch 'refactor-variant-to-value' into scf-conversion
Li-ming Bao
committed

Commits on Jan 17, 2026

Merge remote-tracking branch 'upstream/main' into scf-conversion
Li-ming Bao
committed
fix docstrings
Li-ming Bao
committed
reuse existing yield in scf for conversion
Li-ming Bao
committed
move type creation out of the loop
Li-ming Bao
committed
use more idiomatic way of building operations
Li-ming Bao
committed
update CHANGELOG.md
Li-ming Bao
committed
update conversion test structure
Li-ming Bao
committed
fix more docstrings
Li-ming Bao
committed
use more idiomatic way to buld yieldOp in body
Li-ming Bao
committed
add missing header
Li-ming Bao
committed
add additional asserts
Li-ming Bao
committed
merge loops together
Li-ming Bao
committed
fix conversion direction in docstrings
Li-ming Bao
committed
apply codeRabbit feedback
Li-ming Bao
committed