Skip to main content

Browse the archive

Revision 8a7e1b7f7f7dda7d9ac75c7adbb915b5c7db208f authored by Dzomo the everest Yak on 09 January 2020, 09:25:31 UTC, committed by Dzomo the everest Yak on 09 January 2020, 09:25:31 UTC 
[CI] regenerate hints and dist
1 parent 9cd0bde
Raw File
Vale.X64.Stack.fsti.hints 
[
  "�e\u0013�\u0002ɳ�)'Wk��\u0016�",
  [
    [
      "Vale.X64.Stack.va_quick_callee_save_registers",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
      ],
      0,
      "3566b5f709c44bf085b264dcfd54366e"
    ],
    [
      "Vale.X64.Stack.va_quick_callee_restore_registers",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
      ],
      0,
      "c3b1b4724d33b689c233130f64775ece"
    ]
  ]
]
back to top