├── .gitignore ├── Ancilla.v ├── Arithmetic.v ├── Composition.v ├── Contexts.v ├── DBCircuits.v ├── Denotation.v ├── Deutsch.v ├── Equations.v ├── GHZ.v ├── HOASCircuits.v ├── HOASExamples.v ├── HOASLib.v ├── HOASProofs.v ├── LICENSE.md ├── Makefile ├── Monad.v ├── Monoid.v ├── Oracles.v ├── QASM.v ├── QASMExamples.v ├── QASMPrinter.v ├── README.md ├── SemanticLib.v ├── Symmetric.v ├── TypeChecking.v ├── UnitarySemantics.v └── _CoqProject /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/.gitignore -------------------------------------------------------------------------------- /Ancilla.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Ancilla.v -------------------------------------------------------------------------------- /Arithmetic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Arithmetic.v -------------------------------------------------------------------------------- /Composition.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Composition.v -------------------------------------------------------------------------------- /Contexts.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Contexts.v -------------------------------------------------------------------------------- /DBCircuits.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/DBCircuits.v -------------------------------------------------------------------------------- /Denotation.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Denotation.v -------------------------------------------------------------------------------- /Deutsch.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Deutsch.v -------------------------------------------------------------------------------- /Equations.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Equations.v -------------------------------------------------------------------------------- /GHZ.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/GHZ.v -------------------------------------------------------------------------------- /HOASCircuits.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/HOASCircuits.v -------------------------------------------------------------------------------- /HOASExamples.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/HOASExamples.v -------------------------------------------------------------------------------- /HOASLib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/HOASLib.v -------------------------------------------------------------------------------- /HOASProofs.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/HOASProofs.v -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Makefile -------------------------------------------------------------------------------- /Monad.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Monad.v -------------------------------------------------------------------------------- /Monoid.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Monoid.v -------------------------------------------------------------------------------- /Oracles.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Oracles.v -------------------------------------------------------------------------------- /QASM.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/QASM.v -------------------------------------------------------------------------------- /QASMExamples.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/QASMExamples.v -------------------------------------------------------------------------------- /QASMPrinter.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/QASMPrinter.v -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/README.md -------------------------------------------------------------------------------- /SemanticLib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/SemanticLib.v -------------------------------------------------------------------------------- /Symmetric.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/Symmetric.v -------------------------------------------------------------------------------- /TypeChecking.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/TypeChecking.v -------------------------------------------------------------------------------- /UnitarySemantics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/UnitarySemantics.v -------------------------------------------------------------------------------- /_CoqProject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/inQWIRE/QWIRE/HEAD/_CoqProject --------------------------------------------------------------------------------