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.
13 lines
430 B
13 lines
430 B
name: "fiat" |
|
description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." |
|
|
|
third_party { |
|
url { |
|
type: GIT |
|
value: "https://github.com/mit-plv/fiat-crypto" |
|
} |
|
version: "6ccc6638716d4632304baf1adbb5c47c3a12ea6f" |
|
last_upgrade_date { year: 2022 month: 3 day: 22 } |
|
|
|
local_modifications: "Files renamed to .h for BoringSSL integration. LICENSE file is LICENSE-MIT from upstream." |
|
}
|
|
|