Robert Sloan | b1b54b8 | 2017-11-06 13:50:02 -0800 | [diff] [blame] | 1 | name: "fiat" |
Robert Sloan | ab8b888 | 2018-03-26 11:39:51 -0700 | [diff] [blame^] | 2 | description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." |
Robert Sloan | b1b54b8 | 2017-11-06 13:50:02 -0800 | [diff] [blame] | 3 | |
| 4 | third_party { |
| 5 | url { |
Robert Sloan | d5c2215 | 2017-11-13 09:22:12 -0800 | [diff] [blame] | 6 | type: GIT |
Robert Sloan | b1b54b8 | 2017-11-06 13:50:02 -0800 | [diff] [blame] | 7 | value: "https://github.com/mit-plv/fiat-crypto" |
| 8 | } |
| 9 | version: "6c4d4afb26de639718fcac39094353ca7feec365" |
| 10 | last_upgrade_date { year: 2017 month: 11 day: 3 } |
| 11 | |
| 12 | local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code" |
| 13 | } |