Revision e56414221fb67ecff7d071497f8ba5d20e9c5ba9 authored by Dzomo, the Everest Yak on 01 May 2020, 08:20:34 UTC, committed by Dzomo, the Everest Yak on 01 May 2020, 08:20:34 UTC
1 parent db297bf
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,
"2aff87b3fe0ce637bcc52fc3711bd1a7"
],
[
"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,
"91d65fc600af971cc04f701ee08935a8"
],
[
"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,
"a59a0ef0414ca19db9abbcd75c73e240"
],
[
"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,
"dac4b627be52c8ce470aeb0cd63a5888"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...