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.
14 lines
433 B
14 lines
433 B
5 years ago
|
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: "0884b6d374a9d937c44bf024fe3a647ffae2c540"
|
||
|
|
last_upgrade_date { year: 2020 month: 4 day: 16 }
|
||
|
|
|
||
|
|
local_modifications: "Files renamed to .h for BoringSSL integration. Select functions patched with value barriers."
|
||
|
|
}
|