Mirror of BoringSSL (grpc依赖)
https://boringssl.googlesource.com/boringssl
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
9 lines
331 B
9 lines
331 B
5 years ago
|
# Fiat
|
||
|
|
|
||
|
|
This directory contains code generated by
|
||
|
|
[Fiat](https://github.com/mit-plv/fiat-crypto) and thus these files are
|
||
|
|
licensed under the MIT license. (See LICENSE file.)
|
||
|
|
|
||
|
|
The files are imported from the `fiat-c/src` directory of the Fiat repository.
|
||
|
|
Their contents are `#include`d into source files, so we rename them to `.h`.
|