8c8e7a683f
The files no longer need to be patched because fiat-crypto now has its own copy of our value barrier. It does, however, require syncing our NO_ASM define with fiat's. fiat-crypto is now licensed under any of MIT, BSD 1-clause, or Apache 2. I've stuck with the MIT one as that's what we were previously importing. No measurable perf difference before/after this CL, with GCC or Clang on x86_64. Change-Id: I2939fd517de37aabdea3ead49150135200a1b112 Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/52045 Reviewed-by: Adam Langley <agl@google.com>
14 lines
430 B
Plaintext
14 lines
430 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: "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."
|
|
}
|