✨ Split target optimization from native synthesis - #1998

Merged

burgholzer merged 7 commits into

mainfrom

agent/1687-syn-01-target-synthesis

Aug 3, 2026

Commits on Aug 3, 2026

✨ Split target optimization from native synthesis

burgholzer
and
simon1hofmann
committed
78ae24a
📝 Link SYN-01 in the changelog
burgholzer
committed
00fab3c
🔧 Remove the obsolete QCO transform include
burgholzer
committed
fe0a1a1
🧪 Cover target synthesis contracts
burgholzer
committed
343a094
♻️ Simplify target synthesis invariants
burgholzer
committed
49edf86
Merge origin/main into SYN-01
burgholzer
committed
5654fba
♻️ Simplify target capabilities and terminology
burgholzer
committed
4d59806