quilc
quilc copied to clipboard
quil-lang
The optimizing Quil compiler.
The undocumented: ``` (loop for s being each external-symbol of (symbol-package 'cl-quil:**empty-memory-model**) when (and (fboundp s) (not (documentation (symbol-function s) t))) collect s) (CL-QUIL:BUILD-8Q-CHIP CL-QUIL:PRAGMA-MATRIX-ENTRIES CL-QUIL:PARSED-PROGRAM-CIRCUIT-DEFINITIONS CL-QUIL:IS-PARAM CL-QUIL:CONSTANT-VALUE CL-QUIL:APPLICATION-OPERATOR CL-QUIL:MEMORY-DESCRIPTOR-NAME...
There's no perceivable gain to this over just erroring with the relevant condition.
There isn't much in the way of examples of standard Quil. For that reason, I think it would be helpful to give several equivalent definitions of gates in `stdgates.quil`, hidden...
We recently (#498) introduced a parametric compilation feature for gates described by time-independent Hamiltonians. The technique implemented there works for any number of qubits, but it has no guarantee on...
To avoid blowing the stack on a very deeeeeeep circuit.
@ecpeterson points out that: "`test-compiler-hook` and `test-compiler-hook-random-4q` are the two typical culprits, usually in their second halves where state preparation methods are turned on." It would be desirable to inspect...
Unlike with regular gates, it is not currently possible to apply multiple modifiers to a circuit. For instance, the expansions ``` DEFCIRCUIT FOOBAR q0 q1: X q0; Z q1 DAGGER...
Compiling the following program takes a racoon's age (maybe infiniloop): ```lisp (let ((quil::*addresser-swap-search-type* :a*)) (time (quil::compiler-hook (quil::read-quil-file #P"benchmarking/quil-rewiring/0005q-0000160.quil") (quil::build-nQ-linear-chip 20)))) ``` I noticed this while looking into another `CL-QUIL-BENCHMARKING` issue...
As of #534, we avoid a bug in the addresser by limiting it to only inject `SWAP`s along physical edges where both endpoints have logical qubits assigned to them. There...
We've recently had to resolve a bug that would have been caught if CL-QUIL were somehow aware (e.g., through its type system) of the distinction between logical and physical qubits,...