Skip to main content

Browse the archive

Revision b06f899cc120e08d2b3ecce79abc2c014fb6080c authored by Santiago Zanella-Beguelin on 29 November 2019, 13:25:44 UTC, committed by GitHub on 29 November 2019, 13:25:44 UTC 
Merge pull request #207 from franziskuskiefer/franziskus-libintvec-mozilla
 
Only add libintvector.h include when necessary for mozilla dist
2 parent s 5b69e68 + eefad99
Raw File
EverCrypt.Ed25519.fst.hints 
[
  "�������Gh���;˜\u0017",
  [
    [
      "EverCrypt.Ed25519.sign",
      1,
      2,
      1,
      [ "@query" ],
      0,
      "5e8a6950466916dac548eec2f4c31476"
    ],
    [
      "EverCrypt.Ed25519.verify",
      1,
      2,
      1,
      [ "@query" ],
      0,
      "1f5e428038536c21d1aa402a52adc7a3"
    ],
    [
      "EverCrypt.Ed25519.secret_to_public",
      1,
      2,
      1,
      [ "@query" ],
      0,
      "6b3f4c13c04601c77d34a500c703b721"
    ],
    [
      "EverCrypt.Ed25519.expand_keys",
      1,
      2,
      1,
      [ "@query" ],
      0,
      "c7002c84fa32ce69e142cd9c81d3e12d"
    ],
    [
      "EverCrypt.Ed25519.sign_expanded",
      1,
      2,
      1,
      [ "@query" ],
      0,
      "1bc7658b96910ea1fcdca29bd91a2c68"
    ]
  ]
]
back to top