Lukas Burgholzer
Lukas Burgholzer
At the moment, once garbage collection is called (and actually collects something), all compute tables are completely reset, i.e., emptied. While this is fast, it is not necessarily efficient. The...
### What's the problem this feature will solve? At the moment, each individual decision diagram operation has its own compute table. On the one hand, this is neat, since it...
The QFR already provides the means to import a Qiskit `QuantumCircuit` into our own C++ `qc::QuantumComputation` (see https://github.com/iic-jku/qfr/blob/master/jkq/qfr/qiskit/QuantumCircuit.hpp). In the future, it might be beneficial to provide support for translating...
### What's the problem this feature will solve? The DD package as it is currently implemented relies on the memory addresses of nodes for hashing (pointer-based DD package). Modern compilers...
At the moment, the `partial_trace` (and, hence, the `trace`) function in the package are calculated in a straight-forward fashion. As a result, the performance of the operation scales with the...
The new OpenQASM standard introduces many additional datatypes besides quantum and classical registers. This allows to describe classical components of quantum algorithms in a very intuitive way. As a first...
The new OpenQASM standard introduces many additional datatypes besides quantum and classical registers. This allows to describe classical components of quantum algorithms in a very intuitive way. As a first...
The OpenQASM 3.0 standard provides the means to describe the flow of a program using `if` statements, `for` and `while` loops. This allows to more easily write static quantum algorithms...
At the moment, the `.real` file parser (see https://github.com/cda-tum/qfr/blob/main/src/parsers/RealParser.cpp) does not handle constant or garbage definitions properly. This has not been particularly important up until now, since we typically just...
At the moment, circuit optimization passes fail when dealing with `QuantumComputation`s involving `SymbolicOperation`s. Many (if not all) of the optimization passes do not require the circuit to consist entirely of...