kris/boringssl
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add files in third_party/fiat for Chromium to pick up.

Browse Source 
Chromium's licenses.py is a little finicky.

Change-Id: I015a3565eb8f3cfecb357d142facc796a9c80888
Reviewed-on: https://boringssl-review.googlesource.com/24784
Reviewed-by: Adam Langley <agl@google.com>
This commit is contained in:
David Benjamin 2018-01-10 01:49:03 -05:00 committed by Adam Langley
parent b6317b98ee
commit 94cd196a80
2 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
third_party/fiat/BUILD.gn vendored Normal file
View File

@ -0,0 +1,4 @@
# This is an dummy target so Chromium's tools/licenses.py script picks up the
# extra README.chromium file. The script expects README.chromium files to be
# associated with GN targets.
source_set("fiat_license") { }

10
third_party/fiat/README.chromium vendored Normal file
View File

@ -0,0 +1,10 @@
Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
Short Name: fiat-crypto
URL: https://github.com/mit-plv/fiat-crypto
Version: git (see METADATA)
License: MIT
License File: LICENSE
Security Critical: yes
Description:
See README.md and METADATA.