diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-02-15 12:58:55 -0500 |
|---|---|---|
| committer | Andres Erbsen <andreser@mit.edu> | 2016-02-15 12:59:11 -0500 |
| commit | 4b0a55cf320ade4ac8333f9feafbac1b3288bd54 (patch) | |
| tree | 48be4e68933913e370936249573ba08c9386e8a6 /_CoqProject | |
| parent | d2b15c7a598a13fbc6c014db0775001f178d359c (diff) | |
port bounded iter_op and Edwards doubleAndAdd
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index e0264a985..e0ce264fd 100644 --- a/_CoqProject +++ b/_CoqProject @@ -1,5 +1,7 @@ -R src Crypto +src/BoundedIterOp.v src/CompleteEdwardsCurve/CompleteEdwardsCurveTheorems.v +src/CompleteEdwardsCurve/DoubleAndAdd.v src/CompleteEdwardsCurve/ExtendedCoordinates.v src/CompleteEdwardsCurve/Pre.v src/Curves/PointFormats.v |