quilc
quilc copied to clipboard
quil-lang
The optimizing Quil compiler.
[link](https://arxiv.org/pdf/2108.02099.pdf) A compiler for 2-local qubit Hamiltonian simulation. They compare favorably to Qiskit and tket. We might be able to leverage this work with our PAULI-SUM abstraction. At the very...
This meta-issue contains a roadmap for implementing various features in the compiler related to `HARDWARE-OBJECT`s of order ≥ 2, which includes such existing GH Issues as #23 and #118. This...
right now, absolute jumps are conflated in the `label` object [here](https://github.com/quil-lang/quilc/blob/master/src/ast.lisp#L73). I'd prefer we instead introduce a new object called `absolute-program-location` or something like that. (I don't want to use...
Addresser-state creation is done every time a compilation is done (every call to compiler-hook), either once or twice depending on parameters. The addresser state of a given class can generally...
The current implementation of this function was written under time pressure and could stand to be cleaned up. For example, using an actual queue would let us write the function...
Huang et al. recently produced an optimal compilation technique for XY(pi/4) = \sqrt{ISWAP}, which quilc still compiles using numerical search, despite this being a native interaction on certain Rigetti devices....
The role of the addresser is to transform a source program (or part of a source program) into an equivalent form compatible with certain constraints indicated by the chip specification....
Following Qiskit Terra's recently merged code, I found [PR 6551](https://github.com/Qiskit/qiskit-terra/pull/6551) which purports to implement "optimal decomposition" of PU(4) into a sequence of "`CAN(alpha, 0, 0)`" (for varying `alpha`) based off...
Add the [`B`](https://arxiv.org/pdf/quant-ph/0312193.pdf) gate, which is known to lead to optimal decompositions of 2Q gates into only two `B` gates. That is, let `G` be an operator in `PU(4)`. Then...
The standard gates were defined pre-`DEFGATE-AS` so everything is an ugly matrix. Rewrite the file to use the most natural and straightforward definitions.