Skip to main content

Browse the archive

Revision 493d130bb523940efde89a74951e7a449fec93b0 authored by Aymeric Fromherz on 24 March 2020, 14:39:08 UTC, committed by Aymeric Fromherz on 24 March 2020, 14:39:08 UTC 
Merge branch 'master' into afromher_hpke
2 parent s 24d3821 + 26c43ab
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,
      "09db3e06d1b410bc76e725915eae533d"
    ],
    [
      "Vale.X64.Stack.va_quick_Callee_restore_registers",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "fuel_guarded_inversion_FStar.Pervasives.Native.tuple3"
      ],
      0,
      "4d4caf9984a89f55d94adb1c096ebe32"
    ]
  ]
]
back to top