Skip to main content

Browse the archive

Revision 9a1c35986c9ec0d91b29ce0fcc77700ae032310a authored by Aseem Rastogi on 01 April 2021, 08:46:33 UTC, committed by Aseem Rastogi on 01 April 2021, 08:46:33 UTC 
build break fix for change in the F* reflection API
1 parent 122750f
Raw File
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,
      "90fd1c7681c963952f52b93be2b301f8"
    ],
    [
      "Vale.X64.Stack.va_quick_Callee_restore_registers",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
      ],
      0,
      "90d8be90b2a021b79b1e8b231a4adf7d"
    ]
  ]
]
back to top