8041d8c40e
Change-Id: Ic2e9f54f5ced053c1463d5c09a74db5b2a3ea098 Reviewed-on: https://boringssl-review.googlesource.com/26224 Reviewed-by: David Benjamin <davidben@google.com> Commit-Queue: David Benjamin <davidben@google.com> CQ-Verified: CQ bot account: commit-bot@chromium.org <commit-bot@chromium.org>
14 lines
409 B
Plaintext
14 lines
409 B
Plaintext
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: "6c4d4afb26de639718fcac39094353ca7feec365"
|
|
last_upgrade_date { year: 2017 month: 11 day: 3 }
|
|
|
|
local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code"
|
|
}
|