diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2017-04-06 15:08:03 -0400 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2017-04-06 15:09:24 -0400 |
| commit | 33b1e92e1a71f284461e0c8d1d22b1d28b29bd7a (patch) | |
| tree | f3e7ab1e376d5e53a6766e07f4baf3e8a2b4160f /_CoqProject | |
| parent | a5b485ac9c00c7e6fa6380c1e507161b5f4b708f (diff) | |
git rm -rf src/BoundedArithmetic/Double/Repeated/ (and users)
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/_CoqProject b/_CoqProject index 952b493ac..de6c1cd42 100644 --- a/_CoqProject +++ b/_CoqProject @@ -28,8 +28,6 @@ src/BoundedArithmetic/Eta.v src/BoundedArithmetic/Interface.v src/BoundedArithmetic/InterfaceProofs.v src/BoundedArithmetic/StripCF.v -src/BoundedArithmetic/X86ToZLike.v -src/BoundedArithmetic/X86ToZLikeProofs.v src/BoundedArithmetic/Double/Core.v src/BoundedArithmetic/Double/Proofs/BitwiseOr.v src/BoundedArithmetic/Double/Proofs/Decode.v @@ -42,15 +40,6 @@ src/BoundedArithmetic/Double/Proofs/ShiftLeftRightTactic.v src/BoundedArithmetic/Double/Proofs/ShiftRight.v src/BoundedArithmetic/Double/Proofs/ShiftRightDoubleWordImmediate.v src/BoundedArithmetic/Double/Proofs/SpreadLeftImmediate.v -src/BoundedArithmetic/Double/Repeated/Core.v -src/BoundedArithmetic/Double/Repeated/Proofs/BitwiseOr.v -src/BoundedArithmetic/Double/Repeated/Proofs/Decode.v -src/BoundedArithmetic/Double/Repeated/Proofs/LoadImmediate.v -src/BoundedArithmetic/Double/Repeated/Proofs/Multiply.v -src/BoundedArithmetic/Double/Repeated/Proofs/RippleCarryAddSub.v -src/BoundedArithmetic/Double/Repeated/Proofs/SelectConditional.v -src/BoundedArithmetic/Double/Repeated/Proofs/ShiftLeftRight.v -src/BoundedArithmetic/Double/Repeated/Proofs/ShiftRightDoubleWordImmediate.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v src/CompleteEdwardsCurve/EdwardsMontgomery.v src/CompleteEdwardsCurve/ExtendedCoordinates.v |