Revision cef6a8e821f55e71b791555d22b45bd3debc2596 authored by Jonathan Protzenko on 08 May 2020, 16:26:29 UTC, committed by GitHub on 08 May 2020, 16:26:29 UTC
OCaml API: Don't run unit tests which require unsupported features
Vale.Curve25519.Fast_lemmas_internal.fsti.hints
[
"�\u001d��9�\\�=���8\"\n�",
[
[
"Vale.Curve25519.Fast_lemmas_internal.lemma_mul_pow2_bound",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"refinement_interpretation_Tm_refine_6161103b5d8ff67ff3c6e4753e084441"
],
0,
"94417cf6aed1849d6939d7e514b2f257"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...