https://github.com/mit-plv/fiat-crypto
Revision 6b70efd898880b70469f924bbca0e5e740333d4e authored by Jason Gross on 04 February 2020, 04:30:37 UTC, committed by Jason Gross on 04 February 2020, 04:30:37 UTC
1 parent c7ba6c2
Tip revision: 6b70efd898880b70469f924bbca0e5e740333d4e authored by Jason Gross on 04 February 2020, 04:30:37 UTC
copy the licence, etc files to fiat-rust in make
copy the licence, etc files to fiat-rust in make
Tip revision: 6b70efd
| File | Mode | Size |
|---|---|---|
| .github | ||
| bedrock2 @ 7bb24a1 | ||
| coqprime @ 8f4a152 | ||
| etc | ||
| fiat-rust | ||
| output-tests | ||
| rewriter @ 832dab3 | ||
| src | ||
| .dir-locals.el | -rw-r--r-- | 1.4 KB |
| .gitignore | -rw-r--r-- | 4.0 KB |
| .gitmodules | -rw-r--r-- | 469 bytes |
| .mailmap | -rw-r--r-- | 2.3 KB |
| .travis.yml | -rw-r--r-- | 8.1 KB |
| AUTHORS | -rw-r--r-- | 648 bytes |
| CONTRIBUTORS | -rw-r--r-- | 1.2 KB |
| LICENSE | -rw-r--r-- | 1.1 KB |
| Makefile | -rw-r--r-- | 23.7 KB |
| README.md | -rw-r--r-- | 26.3 KB |
| _CoqProject | -rw-r--r-- | 10.2 KB |
| crypto-defects.md | -rw-r--r-- | 6.0 KB |
| curve25519_32.c | -rw-r--r-- | 42.3 KB |
| curve25519_64.c | -rw-r--r-- | 26.1 KB |
| folkwisdom.md | -rw-r--r-- | 17.2 KB |
| p224_32.c | -rw-r--r-- | 92.8 KB |
| p224_64.c | -rw-r--r-- | 46.1 KB |
| p256_32.c | -rw-r--r-- | 107.8 KB |
| p256_64.c | -rw-r--r-- | 43.8 KB |
| p384_32.c | -rw-r--r-- | 250.9 KB |
| p384_64.c | -rw-r--r-- | 89.8 KB |
| p434_64.c | -rw-r--r-- | 111.1 KB |
| p448_solinas_64.c | -rw-r--r-- | 41.8 KB |
| p521_32.c | -rw-r--r-- | 88.1 KB |
| p521_64.c | -rw-r--r-- | 45.6 KB |
| primes.txt | -rw-r--r-- | 1.3 KB |
| secp256k1_32.c | -rw-r--r-- | 143.3 KB |
| secp256k1_64.c | -rw-r--r-- | 53.2 KB |
Computing file changes ...
