diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-02-15 14:36:39 -0500 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:39:05 -0400 |
| commit | 32185540daa1dff26df9babc4218d2571c6154cf (patch) | |
| tree | c8ed13afea23f1a77cac3230cf07633855d50bcf /_CoqProject | |
| parent | dd23ffa18c66702217988c6911374db38933d61e (diff) | |
ported some of EdDSA25519 to new field framework
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index e6991793b..bda8f5178 100644 --- a/_CoqProject +++ b/_CoqProject @@ -21,6 +21,7 @@ src/Rep/ECRep.v src/Rep/GaloisRep.v src/Spec/CompleteEdwardsCurve.v src/Spec/EdDSA.v +src/Spec/EdDSA25519.v src/Spec/ModularArithmetic.v src/Specific/EdDSA25519.v src/Specific/GF25519.v |