diff options
author | Jason Gross <jgross@mit.edu> | 2017-09-21 14:03:21 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-09-21 14:03:21 -0400 |
commit | 3f87426dc1d3ed69f3cb327e41c4947b80b4c42c (patch) | |
tree | 196d825e31d13e71674f2fa50ab31a3f199f7069 /_CoqProject | |
parent | d17d574aa3ff5f5b55c7afadb44417b470bad3af (diff) |
Add femul,fesqure for C32
32-bit ladderstep takes way too long (at least on Coq 8.6), so we don't
add it yet
Diffstat (limited to '_CoqProject')
-rw-r--r-- | _CoqProject | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/_CoqProject b/_CoqProject index a041542cf..1475ca1d9 100644 --- a/_CoqProject +++ b/_CoqProject @@ -261,6 +261,10 @@ src/Specific/NISTP256/AMD64/fesubDisplay.v src/Specific/NISTP256/FancyMachine256/Barrett.v src/Specific/NISTP256/FancyMachine256/Core.v src/Specific/NISTP256/FancyMachine256/Montgomery.v +src/Specific/X25519/C32/femul.v +src/Specific/X25519/C32/femulDisplay.v +src/Specific/X25519/C32/fesquare.v +src/Specific/X25519/C32/fesquareDisplay.v src/Specific/X25519/C64/femul.v src/Specific/X25519/C64/femulDisplay.v src/Specific/X25519/C64/fesquare.v |