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.AES.X64.PolyOps.fsti.hints
[
"�Hh�V�L��� (0{�Q",
[
[
"Vale.AES.X64.PolyOps.va_quick_VPolyAdd",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"788b2da361f6aac30d7510d3e6b1e086"
],
[
"Vale.AES.X64.PolyOps.va_quick_PolyAnd",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"e42c482df879b770139c5e98c224b014"
],
[
"Vale.AES.X64.PolyOps.va_quick_VHigh64ToLow",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"60e2a319358c52b8decd7cb9484014b6"
],
[
"Vale.AES.X64.PolyOps.va_quick_VLow64ToHigh",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"c0687974bdc7e97c952672489052db6b"
],
[
"Vale.AES.X64.PolyOps.va_quick_VSwap",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"973f8c6c3f4206187759930502dc0c2b"
],
[
"Vale.AES.X64.PolyOps.va_quick_VPolyMul",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"b0cf1d60fc88f13c5435fa9ca117106a"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...