blob: 339fe5f8dc48a8f90c4f6f4403af0b87890b5795 [file] [log] [blame] [edit]
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."
}