| Fabio Utzig | 705dfb3 | 2019-05-11 20:06:37 -0300 | [diff] [blame] | 1 | name: "fiat" |
| 2 | description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." | ||||
| 3 | |||||
| 4 | third_party { | ||||
| 5 | url { | ||||
| 6 | type: GIT | ||||
| 7 | value: "https://github.com/mit-plv/fiat-crypto" | ||||
| 8 | } | ||||
| 9 | version: "4441785fb44b88bb6943ddbf639d872c8c903281" | ||||
| 10 | last_upgrade_date { year: 2019 month: 1 day: 16 } | ||||
| 11 | |||||
| 12 | local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code" | ||||
| 13 | } | ||||