diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-17 13:47:59 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2016-10-17 18:16:14 -0400 |
| commit | f35f274ed14f46d423a6047b10393da2ffdae524 (patch) | |
| tree | 394929b3a16483b19315ff8f26a14132a8e70c53 /_CoqProject | |
| parent | 4a2f9ce0850687cebbd97aa1debd6ddea9550ecc (diff) | |
Rename and clean up exponent code
Diffstat (limited to '_CoqProject')
| -rw-r--r-- | _CoqProject | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/_CoqProject b/_CoqProject index 475834c2d..de628d687 100644 --- a/_CoqProject +++ b/_CoqProject @@ -124,10 +124,10 @@ src/Spec/MxDH.v src/Spec/WeierstrassCurve.v src/Specific/GF1305.v src/Specific/GF25519.v +src/Specific/SC25519.v src/Specific/FancyMachine256/Barrett.v src/Specific/FancyMachine256/Core.v src/Specific/FancyMachine256/Montgomery.v -src/Specific/X86/Exponent25519.v src/Tactics/VerdiTactics.v src/Tactics/Algebra_syntax/Nsatz.v src/Test/Curve25519SpecTestVectors.v |