diff options
author | Jason Gross <jgross@mit.edu> | 2017-11-02 02:23:41 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-11-02 02:24:38 -0400 |
commit | afd8ab597b37f85eb6d0abe9a05fc9ce699d03ed (patch) | |
tree | 338818679d3a78ed80999827db95d7b4ebe7fe8e /src/Specific/solinas32_2e189m25 | |
parent | 37a8b2a0c14082298d77f0a4858ab3402d9d1c6c (diff) |
autogenerated c files don't have corresponding .h files
Diffstat (limited to 'src/Specific/solinas32_2e189m25')
-rw-r--r-- | src/Specific/solinas32_2e189m25/femul.h | 6 | ||||
-rw-r--r-- | src/Specific/solinas32_2e189m25/fesquare.h | 6 | ||||
-rw-r--r-- | src/Specific/solinas32_2e189m25/freeze.h | 6 |
3 files changed, 0 insertions, 18 deletions
diff --git a/src/Specific/solinas32_2e189m25/femul.h b/src/Specific/solinas32_2e189m25/femul.h deleted file mode 100644 index ad4e84953..000000000 --- a/src/Specific/solinas32_2e189m25/femul.h +++ /dev/null @@ -1,6 +0,0 @@ -#include <stdint.h> - -#undef force_inline -#define force_inline __attribute__((always_inline)) - -void force_inline femul(uint64_t* out, uint64_t x14, uint64_t x15, uint64_t x13, uint64_t x11, uint64_t x9, uint64_t x7, uint64_t x5, uint64_t x26, uint64_t x27, uint64_t x25, uint64_t x23, uint64_t x21, uint64_t x19, uint64_t x17); diff --git a/src/Specific/solinas32_2e189m25/fesquare.h b/src/Specific/solinas32_2e189m25/fesquare.h deleted file mode 100644 index fef33c926..000000000 --- a/src/Specific/solinas32_2e189m25/fesquare.h +++ /dev/null @@ -1,6 +0,0 @@ -#include <stdint.h> - -#undef force_inline -#define force_inline __attribute__((always_inline)) - -void force_inline fesquare(uint64_t* out, uint64_t x11, uint64_t x12, uint64_t x10, uint64_t x8, uint64_t x6, uint64_t x4, uint64_t x2); diff --git a/src/Specific/solinas32_2e189m25/freeze.h b/src/Specific/solinas32_2e189m25/freeze.h deleted file mode 100644 index b2c28ccf1..000000000 --- a/src/Specific/solinas32_2e189m25/freeze.h +++ /dev/null @@ -1,6 +0,0 @@ -#include <stdint.h> - -#undef force_inline -#define force_inline __attribute__((always_inline)) - -void force_inline freeze(uint64_t* out, uint64_t x11, uint64_t x12, uint64_t x10, uint64_t x8, uint64_t x6, uint64_t x4, uint64_t x2); |