Lukas Burgholzer

> > I was also wondering whether it would make sense to switch to a dictionary or separate counts for the individual two-qubit gates. Some devices, e.g., those offered by...

> Thanks for the detailed feedback. > How would these tests look like? Especially for the heuristic mapper the output isn't necessarily deterministic, so comparing the mapped OpenQASM code to...

> Sorry for the long delay. I had some troubles with the tests. After making my changes, the existing python tests no longer passed. > > The reason for that...

@JoachimMarin had some time today to check the above circuits. Can confirm that there is a small bug in the ZX equivalence checker in QCEC. See https://github.com/cda-tum/qcec/issues/251 for the tracking...

> > A note on the circuits though: As they are, qc2 and qc3 will never be equivalent to qc1 since they lack initial layout information. Qiskit (and QMAP) add...

> If I do that however, qiskit.circuit.ControlledGate becomes the only thing that requires import qiskit, so ruff again complains that I should use TYPE_CHECKING, which breaks the tests. I think...

> Regarding the failing tests, I assume the CSdg is too new for Min Qiskit Test, so I can remove it. > I don't know why the tests specifically fails...

I just pushed some changes refactoring the tests. Let's see how it goes in the CI. The most notable change was https://github.com/cda-tum/qmap/pull/235/commits/2bd795ecc9faad9e2b8fc0066d1c2a240236b53b#diff-6e119ab7fc0a1c33640478892a0de88927c32b1853edf3c2feac815072f79550R2 Which is why `ruff` was giving you a...

Just pushed some changes that clean up the code, add some more checks, and (most importantly) fixes the coupling limit computation. The computation didn't really take directionality into account. That's...

> I updated the heuristic mapper, specifically the distance table to support the different costs for direction reversal. The distance table now uses pairs of where the boolean indicates whether...