Revision 5b2fbf3c4989a9b0587a00578f69f3041df3f957 authored by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC, committed by Jonathan Protzenko on 08 April 2020, 18:59:46 UTC
1 parent d4ca892
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,
"5fdc95c12e47d9596d78e8e5573c07e4"
],
[
"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,
"b8479d5e54c2949c063c5a490eeca861"
],
[
"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,
"46e6d2b082473d354418079ea3806ab0"
],
[
"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,
"e1a14277de9f9b466896d9eb7ccc446f"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...