diff options
| author |  Jade Philipoom <jadep@mit.edu> | 2016-02-15 18:51:58 -0500 |
|---|---|---|
| committer |  Robert Sloan <varomodt@gmail.com> | 2016-06-22 13:39:05 -0400 |
| commit | 9a98e161d461514a7709d26d8a19ff3d2cbe6c01 (patch) | |
| tree | 13049945dc3da37c16bbe0641b95fb41bcdec71f /_CoqProject | |
| parent | 453b5a656d06caac35ecfcb27c713fc9e4e80423 (diff) | |
added generic encoding spec
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index fab90e35e..0b8aaa6bf 100644 --- a/_CoqProject +++ b/_CoqProject @@ -25,6 +25,7 @@ src/Rep/GaloisRep.v src/Spec/CompleteEdwardsCurve.v src/Spec/EdDSA.v src/Spec/EdDSA25519.v +src/Spec/Encoding.v src/Spec/ModularArithmetic.v src/Specific/EdDSA25519.v src/Specific/GF25519.v |