https://github.com/jpaykin/QWIRE
Tip revision: 719d019b590d040df7f0d1e44f06d59c48c8fcf9 authored by Robert Rand on 29 October 2019, 03:48:38 UTC
added lia to typecheck
added lia to typecheck
Tip revision: 719d019
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 131 bytes |
| Ancilla.v | -rw-r--r-- | 12.0 KB |
| Arithmetic.v | -rw-r--r-- | 77.9 KB |
| Complex.v | -rw-r--r-- | 24.3 KB |
| Composition.v | -rw-r--r-- | 6.4 KB |
| Contexts.v | -rw-r--r-- | 49.8 KB |
| CoqMakefile.local | -rw-r--r-- | 77 bytes |
| DBCircuits.v | -rw-r--r-- | 15.6 KB |
| DBGenerator.v | -rw-r--r-- | 26.1 KB |
| Denotation.v | -rw-r--r-- | 134.8 KB |
| Deutsch.v | -rw-r--r-- | 7.2 KB |
| Dirac.v | -rw-r--r-- | 7.5 KB |
| Equations.v | -rw-r--r-- | 13.1 KB |
| Generator.v | -rw-r--r-- | 16.2 KB |
| HOASCircuits.v | -rw-r--r-- | 4.4 KB |
| HOASExamples.v | -rw-r--r-- | 14.2 KB |
| HOASGenerator.v | -rw-r--r-- | 85.3 KB |
| HOASLib.v | -rw-r--r-- | 9.3 KB |
| HOASProofs.v | -rw-r--r-- | 24.0 KB |
| LICENSE.md | -rw-r--r-- | 1.2 KB |
| Makefile | -rw-r--r-- | 1.5 KB |
| Matrix.v | -rw-r--r-- | 55.4 KB |
| Monad.v | -rw-r--r-- | 11.9 KB |
| Monoid.v | -rw-r--r-- | 17.1 KB |
| Oracles.v | -rw-r--r-- | 42.6 KB |
| Prelim.v | -rw-r--r-- | 11.9 KB |
| Proportional.v | -rw-r--r-- | 1.7 KB |
| QASM.v | -rw-r--r-- | 16.7 KB |
| QASMExamples.v | -rw-r--r-- | 2.6 KB |
| QASMPrinter.v | -rw-r--r-- | 4.4 KB |
| Quantum.v | -rw-r--r-- | 38.0 KB |
| README.md | -rw-r--r-- | 3.8 KB |
| RealAux.v | -rw-r--r-- | 3.5 KB |
| SemanticLib.v | -rw-r--r-- | 5.7 KB |
| SimpleExamples.v | -rw-r--r-- | 2.8 KB |
| Symmetric.v | -rw-r--r-- | 53.0 KB |
| TypeChecking.v | -rw-r--r-- | 16.5 KB |
| TypesDBCircuit.v | -rw-r--r-- | 4.9 KB |
| UnitarySemantics.v | -rw-r--r-- | 17.2 KB |
| _CoqProject | -rw-r--r-- | 104 bytes |
