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
Only add libintvector.h include when necessary for mozilla dist
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"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...