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