• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1name: "fiat"
2description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
3
4third_party {
5  url {
6    type: GIT
7    value: "https://github.com/mit-plv/fiat-crypto"
8  }
9  version: "0884b6d374a9d937c44bf024fe3a647ffae2c540"
10  last_upgrade_date { year: 2020 month: 4 day: 16 }
11
12  local_modifications: "Files renamed to .h for BoringSSL integration. Select functions patched with value barriers."
13}
14