diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/_CoqProject b/_CoqProject index 694f80648..cc1272093 100644 --- a/_CoqProject +++ b/_CoqProject @@ -22,22 +22,6 @@ src/Algebra/IntegralDomain.v src/Algebra/Monoid.v src/Algebra/Ring.v src/Algebra/ScalarMult.v -src/Assembly/Bounds.v -src/Assembly/Compile.v -src/Assembly/Conversions.v -src/Assembly/Evaluables.v -src/Assembly/GF25519.v -src/Assembly/HL.v -src/Assembly/LL.v -src/Assembly/PhoasCommon.v -src/Assembly/Pipeline.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/WordizeUtil.v src/BoundedArithmetic/ArchitectureToZLike.v src/BoundedArithmetic/ArchitectureToZLikeProofs.v src/BoundedArithmetic/Eta.v |