Lukas Burgholzer

Based on some internal discussions, I am closing this for now. A lot of development on Clifford synthesis is currently going on over in https://github.com/cda-tum/mqt-qecc and it would be wasteful...

@Claudiaaaaaaaaa Don't worry too much about the failing coverage uploads here at the moment. These are due to your PR originating from a fork, which, apparently, doesn't give the GitHub...

Ok, the CI errors should be resolved now. They were due to a regression in the codecov action that would request an OIDC token even from forks (which do not...

> I'll try to summarize here the next steps for this PR - each step is its own PR in my opinion: Couple of comments in addition to what you...

> I reworked the tests now (added unittests and made the MLIR tests more robust/less precise). > > A couple of questions: > > * Is this approach to testing...

> The question is, should there be a difference in behaviour between non-/compile-time constant expressions? I think it is totally fair to perform more optimization on compile-time known information and...

Sounds like a good roadmap to me 👍🏻

Thanks for creating this issue and providing a first potential solution! I tried to not look at your solution before proposing my own version based on some discussions I had...

Just adding this here to summarize some of the offline discussion: Several aspects involved in this have been split out into separate issues - #1129 #1130 #1131 - #1123 -...

> Are there any plans to also add QIR support at the Native Gates Level to MQT Bench? Just quoting from above 😉👆🏼 > > We could think about extending...