xref: /aosp_15_r20/external/boringssl/src/third_party/fiat/METADATA (revision 8fb009dc861624b67b6cdb62ea21f0f22d0c584b) 
1name: "fiat"
2description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
3
4third_party {
5  url {
6    type: GIT
7    value: "https://github.com/mit-plv/fiat-crypto"
8  }
9  version: "6ccc6638716d4632304baf1adbb5c47c3a12ea6f"
10  last_upgrade_date { year: 2022 month: 3 day: 22 }
11
12  local_modifications: "Files renamed to .h for BoringSSL integration. LICENSE file is LICENSE-MIT from upstream."
13}
14