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 /.gitignore | |
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 '.gitignore')
-rw-r--r-- | .gitignore | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index ebdeb9128..e9cd586b6 100644 --- a/.gitignore +++ b/.gitignore @@ -47,6 +47,14 @@ src/Specific/X25519/C64/ladderstep.c src/Specific/X25519/C64/ladderstep.h src/Specific/X25519/C64/measure src/Specific/X25519/C64/test +src/Specific/X25519/C32/femul.c +src/Specific/X25519/C32/femul.h +src/Specific/X25519/C32/fesquare.c +src/Specific/X25519/C32/fesquare.h +src/Specific/X25519/C32/ladderstep.c +src/Specific/X25519/C32/ladderstep.h +src/Specific/X25519/C32/measure +src/Specific/X25519/C32/test third_party/openssl-curve25519/measure third_party/openssl-nistp256c64/measure third_party/openssl-nistz256-adx/measure |