Hans van Someren
Hans van Someren
Libqasm and OpenQL both have ideas on the presence of functions that support classical operations. Libqasm has defaults for them but OpenQL overrides those selectively when constructing a libqasm based...
Visiting parts of IR is supported by a utility visitor class but it its use is rare. Perhaps it could be upgraded with several features to a family of visitors...
See tests/cc/test_looping.cq. Jeroen implemented dependence analysis such that there is not automatically a barrier before and after any loop. I haven't reviewed that well enough and don't understand how that...
OpenQL in its current shape relies on libqasm for constant folding. Wouter is adding constant folding passes to OpenQL for expressions of which the IR allows them to be non-constant....
Many things are 'wrong' with the way "measure" is currently defined. First of all, the implicit result bit, which was in the original language spec, also see https://libqasm.readthedocs.io/en/latest/cq1-instructions.html#default-instruction-set. On the...
In old style configuration files in the instruction and decomposition sections keys (and decompositions) contain gates with operands. Those operands are identifiers such as q0, %0, etc. In those keys...
In several places in the OpenQL compiler, gates are created by calling the gate-specific built-in constructor directly instead of using the gate() interface. The latter is more general and allows...
Several tests show that the number of cycles of a test circuit has increased, sometimes dramatically. What are the differences? - swap and cnot are not decomposed: this makes resource...
Router has built-in knowledge of gate names swap, move, tswap, tmove and perhaps more (prep_init, etc.). Is this ok? Kind of reserved gate names? Or should it be made configurable...
A gate may have values for an attribute that depend on the particular qubit index of an operand. The configuration specification supports specifying this, and thus at some time during...