| name: "fiat" | |
| description: | |
| "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." | |
| third_party { | |
| url { | |
| type: HOMEPAGE | |
| 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" | |
| } |