diff options
| author |  jadep <jade.philipoom@gmail.com> | 2016-10-03 17:56:30 -0400 |
|---|---|---|
| committer | jadep <jade.philipoom@gmail.com> | 2016-10-03 17:56:42 -0400 |
| commit | 0b22eb729a738daaa9837acd3f0643aed642d873 (patch) | |
| tree | a752ad693b31206d9ff3458abdeef7498cddc16f /_CoqProject | |
| parent | c90f02d0f2be42f07dd1eab15996c588b040b893 (diff) | |
Wrote proofs necessary to fill in all point-encoding related context variables in EdDSARepChange.v
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index a4637d9d3..2c49c47da 100644 --- a/_CoqProject +++ b/_CoqProject @@ -94,6 +94,7 @@ src/Spec/Encoding.v src/Spec/ModularArithmetic.v src/Spec/ModularWordEncoding.v src/Spec/MxDH.v +src/Spec/PointEncoding.v src/Spec/WeierstrassCurve.v src/Specific/GF1305.v src/Specific/GF25519.v |