Revision 059787e63538941130606248805cab290fdbc5d7 authored by Dzomo the everest Yak on 20 April 2020, 08:21:22 UTC, committed by Dzomo the everest Yak on 20 April 2020, 08:21:22 UTC
1 parent 03f1e46
EverCrypt.fsti.hints
[
"��\u0018�I��Ͳr�ųm�",
[
[
"EverCrypt.block_cipher_keyLen",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query",
"disc_equation_EverCrypt.AES128_CBC",
"disc_equation_EverCrypt.AES256_CBC",
"disc_equation_EverCrypt.TDES_EDE_CBC",
"fuel_guarded_inversion_EverCrypt.block_cipher_alg"
],
0,
"56aaf1985c1154cd22ff971729ff5ef6"
],
[
"EverCrypt.block_cipher_blockLen",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query",
"disc_equation_EverCrypt.AES128_CBC",
"disc_equation_EverCrypt.AES256_CBC",
"disc_equation_EverCrypt.TDES_EDE_CBC",
"fuel_guarded_inversion_EverCrypt.block_cipher_alg"
],
0,
"f8554de534cc8d8cb38bd6431d7df4eb"
],
[
"EverCrypt.aead_keyLen",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query",
"disc_equation_EverCrypt.AES128_CCM",
"disc_equation_EverCrypt.AES128_CCM8",
"disc_equation_EverCrypt.AES128_GCM",
"disc_equation_EverCrypt.AES256_CCM",
"disc_equation_EverCrypt.AES256_CCM8",
"disc_equation_EverCrypt.AES256_GCM",
"disc_equation_EverCrypt.CHACHA20_POLY1305",
"fuel_guarded_inversion_EverCrypt.aead_alg"
],
0,
"ebe8b52caf3a2fed8893f2d1640c9315"
],
[
"EverCrypt.aead_tagLen",
1,
2,
1,
[
"@MaxIFuel_assumption", "@query",
"disc_equation_EverCrypt.AES128_CCM",
"disc_equation_EverCrypt.AES128_CCM8",
"disc_equation_EverCrypt.AES128_GCM",
"disc_equation_EverCrypt.AES256_CCM",
"disc_equation_EverCrypt.AES256_CCM8",
"disc_equation_EverCrypt.AES256_GCM",
"disc_equation_EverCrypt.CHACHA20_POLY1305",
"fuel_guarded_inversion_EverCrypt.aead_alg"
],
0,
"cefd2253d1cf654b5b12da4dd2812aa6"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...