| Name | Date | Size | #Lines | LOC | ||
|---|---|---|---|---|---|---|
| .. | - | - | ||||
| BUILD.gn | D | 23-Nov-2023 | 216 | 5 | 4 | |
| LICENSE | D | 23-Nov-2023 | 1.1 KiB | 23 | 18 | |
| METADATA | D | 23-Nov-2023 | 433 | 14 | 11 | |
| README.chromium | D | 23-Nov-2023 | 286 | 11 | 9 | |
| README.md | D | 23-Nov-2023 | 331 | 9 | 6 | |
| curve25519_32.h | D | 23-Nov-2023 | 41.6 KiB | 982 | 774 | |
| curve25519_64.h | D | 23-Nov-2023 | 26.2 KiB | 620 | 442 | |
| p256_32.h | D | 23-Nov-2023 | 102.9 KiB | 3,148 | 2,925 | |
| p256_64.h | D | 23-Nov-2023 | 41.7 KiB | 1,227 | 1,004 |
README.chromium
1Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives 2Short Name: fiat-crypto 3URL: https://github.com/mit-plv/fiat-crypto 4Version: git (see METADATA) 5License: MIT 6License File: LICENSE 7Security Critical: yes 8 9Description: 10See README.md and METADATA. 11
README.md
1# Fiat 2 3This directory contains code generated by 4[Fiat](https://github.com/mit-plv/fiat-crypto) and thus these files are 5licensed under the MIT license. (See LICENSE file.) 6 7The files are imported from the `fiat-c/src` directory of the Fiat repository. 8Their contents are `#include`d into source files, so we rename them to `.h`. 9