| Adam Langley | b2c312d | 2017-11-03 12:03:13 -0700 | [diff] [blame] | 1 | name: "fiat" |
| Martin Kreichgauer | 8041d8c | 2018-02-27 14:28:47 -0500 | [diff] [blame] | 2 | description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." |
| Adam Langley | b2c312d | 2017-11-03 12:03:13 -0700 | [diff] [blame] | 3 | |
| 4 | third_party { |
| 5 | url { |
| Martin Kreichgauer | 40e8c92 | 2017-11-07 12:30:23 -0800 | [diff] [blame] | 6 | type: GIT |
| Adam Langley | b2c312d | 2017-11-03 12:03:13 -0700 | [diff] [blame] | 7 | value: "https://github.com/mit-plv/fiat-crypto" |
| 8 | } |
| David Benjamin | baca5b4 | 2020-04-14 15:19:20 -0400 | [diff] [blame] | 9 | version: "0884b6d374a9d937c44bf024fe3a647ffae2c540" |
| 10 | last_upgrade_date { year: 2020 month: 4 day: 16 } |
| Adam Langley | b2c312d | 2017-11-03 12:03:13 -0700 | [diff] [blame] | 11 | |
| David Benjamin | baca5b4 | 2020-04-14 15:19:20 -0400 | [diff] [blame] | 12 | local_modifications: "Files renamed to .h for BoringSSL integration. Select functions patched with value barriers." |
| Adam Langley | b2c312d | 2017-11-03 12:03:13 -0700 | [diff] [blame] | 13 | } |
