Home | History | Annotate | Download | only in fiat
      1 name: "fiat"
      2 description:
      3     "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."
      4 
      5 third_party {
      6   url {
      7     type: GIT
      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 }
     15