https://github.com/jpaykin/QWIRE
Tip revision: 7a99a53f93160d945fd8e83d768bbe4197cebc26 authored by Kesha Hietala on 08 March 2021, 16:07:50 UTC
minor updates to C automation
minor updates to C automation
Tip revision: 7a99a53
| File | Mode | Size |
|---|---|---|
| .gitignore | -rw-r--r-- | 143 bytes |
| Ancilla.v | -rw-r--r-- | 12.0 KB |
| Arithmetic.v | -rw-r--r-- | 77.9 KB |
| Complex.v | -rw-r--r-- | 29.5 KB |
| Composition.v | -rw-r--r-- | 6.4 KB |
| Contexts.v | -rw-r--r-- | 48.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.9 KB |
| Deutsch.v | -rw-r--r-- | 7.2 KB |
| Dirac.v | -rw-r--r-- | 8.0 KB |
| Equations.v | -rw-r--r-- | 13.1 KB |
| GHZ.v | -rw-r--r-- | 13.0 KB |
| Generator.v | -rw-r--r-- | 16.2 KB |
| HOASCircuits.v | -rw-r--r-- | 4.1 KB |
| HOASExamples.v | -rw-r--r-- | 14.0 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.6 KB |
| Matrix.v | -rw-r--r-- | 63.8 KB |
| Monad.v | -rw-r--r-- | 11.9 KB |
| Monoid.v | -rw-r--r-- | 17.2 KB |
| Oracles.v | -rw-r--r-- | 42.6 KB |
| Prelim.v | -rw-r--r-- | 12.2 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-- | 48.7 KB |
| README.md | -rw-r--r-- | 3.5 KB |
| RealAux.v | -rw-r--r-- | 7.2 KB |
| SemanticLib.v | -rw-r--r-- | 5.7 KB |
| Symmetric.v | -rw-r--r-- | 53.0 KB |
| TypeChecking.v | -rw-r--r-- | 14.9 KB |
| TypesDBCircuit.v | -rw-r--r-- | 4.9 KB |
| UnitarySemantics.v | -rw-r--r-- | 17.2 KB |
| _CoqProject | -rw-r--r-- | 260 bytes |
