Revision 9c7444102374d3650ce16ea2cf8d6b8a726dd2df authored by Victor Dumitrescu on 11 May 2020, 16:25:39 UTC, committed by Victor Dumitrescu on 11 May 2020, 16:25:39 UTC
1 parent 6cadaf2
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,
"8bf7c890cf45c26eb52165eac3857657"
],
[
"Vale.X64.Stack.va_quick_Callee_restore_registers",
1,
1,
0,
[
"@MaxIFuel_assumption", "@query",
"fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
],
0,
"5f3feaa61fbfa6d6de26954a349571fc"
]
]
]
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...