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 | } |
Robert Sloan | 4c22c5f | 2019-03-01 15:53:37 -0800 | [diff] [blame] | 9 | version: "4441785fb44b88bb6943ddbf639d872c8c903281" |
| 10 | last_upgrade_date { year: 2019 month: 1 day: 16 } |
Robert Sloan | b1b54b8 | 2017-11-06 13:50:02 -0800 | [diff] [blame] | 11 | |
| 12 | local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code" |
| 13 | } |