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
Vale.X64.Stack.fsti.hints
[
"�a�\u000eh�2�\u0017��m�\u0012~\u0010",
[
[
"Vale.X64.Stack.va_quick_Callee_save_registers",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"6994154d90c1ef8e518443b22dc3e36c"
],
[
"Vale.X64.Stack.va_quick_Callee_restore_registers",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"2f452db301353da791b9ceee4e513fa0"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...