From 3f87426dc1d3ed69f3cb327e41c4947b80b4c42c Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Thu, 21 Sep 2017 14:03:21 -0400 Subject: 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 --- .gitignore | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to '.gitignore') 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 -- cgit v1.2.3