aboutsummaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.dir-locals.el481logplain
-rw-r--r--.gitignore3428logplain
-rw-r--r--.gitmodules263logplain
-rw-r--r--.mailmap2311logplain
-rw-r--r--.travis.yml9272logplain
-rw-r--r--AUTHORS597logplain
-rw-r--r--CONTRIBUTORS1200logplain
-rw-r--r--LICENSE1119logplain
-rw-r--r--Makefile30086logplain
-rw-r--r--README.md9493logplain
-rw-r--r--_CoqProject349433logplain
m---------bbv @ 99770e50log
-rwxr-xr-xcapture.sh735logplain
m---------coqprime @ be32c400log
-rw-r--r--crypto-defects.md5955logplain
-rw-r--r--curve25519_32.c40662logplain
-rw-r--r--curve25519_64.c24325logplain
d---------etc522logplain
-rw-r--r--expansion.md4303logplain
-rwxr-xr-xextract-function-header.sh614logplain
-rwxr-xr-xextract-function.sh2263logplain
-rw-r--r--failures.txt10342logplain
-rw-r--r--folkwisdom.md17563logplain
-rw-r--r--generate_parameters.py14294logplain
d---------liblow73logplain
-rw-r--r--measure.c3003logplain
d---------measurements590logplain
-rw-r--r--optimizations.md7332logplain
-rw-r--r--p224_32.c92797logplain
-rw-r--r--p224_64.c46018logplain
-rw-r--r--p256_32.c112595logplain
-rw-r--r--p256_64.c45693logplain
-rw-r--r--p384_32.c256838logplain
-rw-r--r--p384_64.c89548logplain
-rw-r--r--p521_32.c88155logplain
-rw-r--r--p521_64.c44691logplain
-rw-r--r--primes.txt1295logplain
-rwxr-xr-xregenerate-curves.sh322logplain
-rwxr-xr-xregister-allocate.py47875logplain
-rw-r--r--secp256k1_32.c144672logplain
-rw-r--r--secp256k1_64.c51583logplain
d---------src389logplain
-rw-r--r--synthesis-parameters.txt985logplain
d---------third_party234logplain