2018-07-30 02:07:02 +00:00
|
|
|
name: "fiat"
|
2019-12-31 13:08:08 +00:00
|
|
|
description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
|
2018-07-30 02:07:02 +00:00
|
|
|
|
|
|
|
|
third_party {
|
|
|
|
|
url {
|
|
|
|
|
type: GIT
|
|
|
|
|
value: "https://github.com/mit-plv/fiat-crypto"
|
|
|
|
|
}
|
2019-12-31 13:08:08 +00:00
|
|
|
version: "4441785fb44b88bb6943ddbf639d872c8c903281"
|
|
|
|
|
last_upgrade_date { year: 2019 month: 1 day: 16 }
|
2018-07-30 02:07:02 +00:00
|
|
|
|
|
|
|
|
local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code"
|
|
|
|
|
}
|
