• Home
Name Date Size #Lines LOC

..--

BUILD.gnD03-May-2024216 54

LICENSED03-May-20241.1 KiB2318

METADATAD03-May-2024433 1411

README.chromiumD03-May-2024286 119

README.mdD03-May-2024331 96

curve25519_32.hD03-May-202441.6 KiB982774

curve25519_64.hD03-May-202426.2 KiB620442

p256_32.hD03-May-2024102.9 KiB3,1482,925

p256_64.hD03-May-202441.7 KiB1,2271,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