diff options
| author |  Robert Sloan <varomodt@gmail.com> | 2016-06-23 18:19:34 -0400 |
|---|---|---|
| committer | Robert Sloan <varomodt@gmail.com> | 2016-06-23 18:19:34 -0400 |
| commit | 517e50e5987792a0f4f0852e5cfbeda1040b448b (patch) | |
| tree | 1b0e9de40454132492bf308b0b647a9fbe0e68c1 /_CoqProject | |
| parent | 00d3d987c065ba80becb02d5923f71184fdaa0cc (diff) | |
Update _CoqProject
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 34 |
1 files changed, 19 insertions, 15 deletions
diff --git a/_CoqProject b/_CoqProject index d2a0c9267..b1e422ae3 100644 --- a/_CoqProject +++ b/_CoqProject @@ -6,6 +6,24 @@ src/Algebra.v src/BaseSystem.v src/BaseSystemProofs.v src/Testbit.v +src/Assembly/AlmostConversion.v +src/Assembly/AlmostQhasm.v +src/Assembly/BoundedWord.v +src/Assembly/Conversion.v +src/Assembly/Language.v +src/Assembly/MultiBoundedWord.v +src/Assembly/Pipeline.v +src/Assembly/Pseudize.v +src/Assembly/Pseudo.v +src/Assembly/PseudoConversion.v +src/Assembly/Qhasm.v +src/Assembly/QhasmCommon.v +src/Assembly/QhasmEvalCommon.v +src/Assembly/QhasmUtil.v +src/Assembly/State.v +src/Assembly/StringConversion.v +src/Assembly/Vectorize.v +src/Assembly/Wordize.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v src/CompleteEdwardsCurve/ExtendedCoordinates.v src/CompleteEdwardsCurve/Pre.v @@ -15,6 +33,7 @@ src/Encoding/ModularWordEncodingTheorems.v src/Experiments/DerivationsOptionRectLetInEncoding.v src/Experiments/GenericFieldPow.v src/Experiments/SpecEd25519.v +src/Galois/GaloisField.v src/ModularArithmetic/ExtendedBaseVector.v src/ModularArithmetic/ModularArithmeticTheorems.v src/ModularArithmetic/ModularBaseSystem.v @@ -46,18 +65,3 @@ src/Util/Tactics.v src/Util/Tuple.v src/Util/WordUtil.v src/Util/ZUtil.v -src/Assembly/Language.v -src/Assembly/Conversion.v -src/Assembly/QhasmCommon.v -src/Assembly/QhasmUtil.v -src/Assembly/State.v -src/Assembly/QhasmEvalCommon.v -src/Assembly/Pseudo.v -src/Assembly/AlmostQhasm.v -src/Assembly/Qhasm.v -src/Assembly/PseudoConversion.v -src/Assembly/AlmostConversion.v -src/Assembly/StringConversion.v -src/Assembly/Vectorize.v -src/Assembly/Wordize.v -src/Assembly/Pseudize.v |