Lukas Burgholzer

Thanks for raising this issue! This is definitely an issue. The underlying problem is that the parser interprets "ms" as a time unit parser token for milliseconds. So the parser...

Alright, the underlying error was mainly due to how we previously handled timing literals. #724 fixes this. Thanks for bringing this up 🙏🏼

I can confirm that this is a bug in how we eliminate measurements at the end of the circuit before we perform the equivalence check. The barriers after the measurements...

Hey 👋🏻 Thanks for raising this issue! Let me start by pointing out a couple of things: I suppose you are placing the reset operations in the circuit to indicate...

> Hey! > > Thank you for your response and the proposed solution. I tried implementing it, but I encountered an error related to the use of `AncillaQubit`, even when...

Alright, I did some digging. Turns out this seems to only really affect the ZX-based equivalence checker. The following code works just fine on my machine ```python from qiskit import...

I am fairly sure that QCEC cannot handle this special case at the moment. What you are describing here is a dynamic circuit that contains mid-circuit measurements. So it needs...

If I read the logs here correctly, the failures you are seeing is because the install tries to build a rather old version of numpy (`numpy=1.16`) for which no arm64...

Have you actually tried the suggestion from the very first warning message: > [QCEC] Warning: at least one of the circuits has garbage qubits, but partial equivalence checking is turned...

Hey 👋🏻 Many thanks for opening this issue and for the complete description of the problem. I am currently on vacation and will only be able to look more deeply...