diff options
| author |  Andres Erbsen <andreser@mit.edu> | 2016-02-15 12:58:55 -0500 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:39:05 -0400 |
| commit | dc664f8994a1b98a0bef36ae7d78ad6343f420ab (patch) | |
| tree | beac1fba9188e1c9c4ee996b361df59774dc1755 /_CoqProject | |
| parent | 69881f87475520b3b29147cc60572b65b3f67174 (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 12fa2607d..fab90e35e 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 |