Lukas Burgholzer
Lukas Burgholzer
### What's the problem this feature will solve? At the moment, the [dedicated strategy for verifying the results of quantum circuit compilation flows](https://qcec.readthedocs.io/en/latest/library/VerifyCompilation.html#mqt.qcec.verify_compilation) inherently assumes that the target gate set...
GitHub is deprecating actions running with `Node12`. See https://github.blog/changelog/2022-09-22-github-actions-all-actions-will-begin-running-on-node16-instead-of-node12/. Every run that currently uses this action receives warnings like > **Warning** > Node.js 12 actions are deprecated. For more information...
## Description This PR started out as a PR that should "just" improve the project installation before top-level projects eventually switch to the new `mqt-core` version. As part of that,...
### Environment information Dates back to the very origin of the (QM)DD package. ### Description The code down below demonstrates an instability in the matrix DD normalization. The script just...
### What's the problem this feature will solve? Since #529, `mqt-core` can finally be installed like a regular project. However, the installation of all the main project libraries has bloated...
After #460, all gates in MQT Core have a proper inverse now. A natural follow-up would be to consolidate the following methods: - https://github.com/cda-tum/mqt-core/blob/95541a64ee6174bb78baf2dc76f412018a270780/src/operations/StandardOperation.cpp#L471-L559 - https://github.com/cda-tum/mqt-core/blob/95541a64ee6174bb78baf2dc76f412018a270780/include/dd/Operations.hpp#L27-L93 - https://github.com/cda-tum/mqt-core/blob/95541a64ee6174bb78baf2dc76f412018a270780/include/dd/Operations.hpp#L117-L237 There is...
### What's the problem this feature will solve? Right now, the Qiskit import introduced in https://github.com/cda-tum/mqt-core/pull/371 incurs some unnecessary copies when translating operations from Qiskit to our internal representation. This...
### What's the problem this feature will solve? This is a tracking issue for adding QIR support within the MQT. The following contains a summary of some discussions that took...
OpenQASM 3 introduces gate modifiers in order to more efficiently describe quantum circuits. Any modifier `mod` can be applied to a gate `g` via `mod @ g`. For more details,...
### What's the problem this feature will solve? The DD package contains a “fine collection” of (non-const) global variables. This includes the terminal nodes for DDs as well as the...