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: "0884b6d374a9d937c44bf024fe3a647ffae2c540" 10 last_upgrade_date { year: 2020 month: 4 day: 16 } 11 12 local_modifications: "Files renamed to .h for BoringSSL integration. Select functions patched with value barriers." 13} 14