diff options
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index fa18b1188..4f8bf08a3 100644 --- a/_CoqProject +++ b/_CoqProject @@ -22,6 +22,11 @@ src/Assembly/State.v src/Assembly/StringConversion.v src/Assembly/Vectorize.v src/Assembly/Wordize.v +src/BoundedArithmetic/ArchitectureToZLike.v +src/BoundedArithmetic/ArchitectureToZLikeProofs.v +src/BoundedArithmetic/DoubleBounded.v +src/BoundedArithmetic/DoubleBoundedProofs.v +src/BoundedArithmetic/Interface.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v src/CompleteEdwardsCurve/ExtendedCoordinates.v src/CompleteEdwardsCurve/Pre.v |