https://github.com/mit-plv/fiat-crypto
Revision 269fe7a1742c628627fbfe6ac81132ff112fa801 authored by jadephilipoom on 27 September 2019, 19:02:25 UTC, committed by GitHub on 27 September 2019, 19:02:25 UTC
Issue had been hanging around for a while
1 parent acbda67
Tip revision: 269fe7a1742c628627fbfe6ac81132ff112fa801 authored by jadephilipoom on 27 September 2019, 19:02:25 UTC
Fixes #392
Fixes #392
Tip revision: 269fe7a
File | Mode | Size |
---|---|---|
coqprime @ be32c40 | ||
etc | ||
fiat-rust | ||
src | ||
.dir-locals.el | -rw-r--r-- | 481 bytes |
.gitignore | -rw-r--r-- | 3.8 KB |
.gitmodules | -rw-r--r-- | 204 bytes |
.mailmap | -rw-r--r-- | 2.3 KB |
.travis.yml | -rw-r--r-- | 5.7 KB |
AUTHORS | -rw-r--r-- | 597 bytes |
CONTRIBUTORS | -rw-r--r-- | 1.2 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 17.1 KB |
README.md | -rw-r--r-- | 21.4 KB |
_CoqProject | -rw-r--r-- | 9.7 KB |
crypto-defects.md | -rw-r--r-- | 6.0 KB |
curve25519_32.c | -rw-r--r-- | 41.9 KB |
curve25519_64.c | -rw-r--r-- | 25.7 KB |
folkwisdom.md | -rw-r--r-- | 17.2 KB |
p224_32.c | -rw-r--r-- | 92.6 KB |
p224_64.c | -rw-r--r-- | 45.9 KB |
p256_32.c | -rw-r--r-- | 107.6 KB |
p256_64.c | -rw-r--r-- | 43.6 KB |
p384_32.c | -rw-r--r-- | 250.7 KB |
p384_64.c | -rw-r--r-- | 89.6 KB |
p434_64.c | -rw-r--r-- | 110.9 KB |
p448_solinas_64.c | -rw-r--r-- | 41.5 KB |
p521_32.c | -rw-r--r-- | 87.9 KB |
p521_64.c | -rw-r--r-- | 45.4 KB |
package-rewriter.sh | -rwxr-xr-x | 10.4 KB |
primes.txt | -rw-r--r-- | 1.3 KB |
secp256k1_32.c | -rw-r--r-- | 143.2 KB |
secp256k1_64.c | -rw-r--r-- | 53.0 KB |
Computing file changes ...