🐛 Not supported control gates in Mapper.cpp

[YouAndre]

System and Environment Information

Ubuntu- 22.04 in docker image
C++ version

Bug Description

We are using a Device supporting CZ as nativ gate while in Mapper.cpp assert(g->getType() == qc::X ) we propse therefore to extend it for cases of CZ and CY else the method crashes and aboards

Steps to Reproduce

We transpile an arbitrary circuit into an architectures native gate set and try to map it on the couplingmap using Qmap.
Since our gate set contains Cz we need to decompose all Cx operations into HCzH ... . In this case Qmap crashes as it does not handle the case of an operation having controll qubits without being the type of quake.X0P

[burgholzer]

This is basically the same error as observed in #263, which is a long-standing limitation in the current implementation of the QMAP algorithm.
There is a long-open PR in #235, that has unfortunately stalled.
A proper solution to this issue would pick up the work from that PR and bring it to completion.
Your proposal in #844 unfortunately is a little bit too simple, as will probably be evident when looking at #235. Such a contribution would be much appreciated! 🙌🏼

Note: There is currently ongoing work to port QMAP to our MLIR-based infrastructure in MQT Core. Once completed, the implementation here will be considered legacy and superseded by the newer implementation. It will still take a while though until that is perfectly exposed to consumers. So it is definitely still worthwhile to patch up the implementation here.