CQCL / tket

Source code for the TKET quantum compiler, Python bindings and utilities
https://docs.quantinuum.com/tket/
Apache License 2.0
257 stars 48 forks source link

`CXMappingPass` fails on circuits containing wire swaps or barriers #1597

Closed cqc-alec closed 1 month ago

cqc-alec commented 1 month ago

Since #1575 , the preconditions of the CXMappingPass became stronger. This causes application of pytket-qiskit's default compilation passes to fail, either with

RuntimeError: Predicate requirements are not satisfied: GateSetPredicate:{ CX GPI2 GPI PhasedX TK1 Reset U1 Collapse U2 Measure U3 noop Rz BRIDGE Ry Z X Y S Sdg T Tdg V Vdg SX SXdg SWAP H Rx }

or with

RuntimeError: Predicate requirements are not satisfied: NoWireSwapsPredicate

This blocks the 1.33.0 release so high priority.