Skip to main content

Browse the archive

Revision cef6a8e821f55e71b791555d22b45bd3debc2596 authored by Jonathan Protzenko on 08 May 2020, 16:26:29 UTC, committed by GitHub on 08 May 2020, 16:26:29 UTC 
Merge pull request #298 from project-everest/vdum_ocaml_nits
 
OCaml API: Don't run unit tests which require unsupported features
2 parent s 760addb + 28f416c
Raw File
Vale.X64.Stack_i.fsti.hints 
[
  "*�J��+�p���ã!\u0019\u0018",
  [
    [
      "Vale.X64.Stack_i.lemma_same_init_rsp_free_stack64",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "dfce165ff2eaeebb6e44fd1fa8503cc9"
    ],
    [
      "Vale.X64.Stack_i.lemma_same_init_rsp_store_stack64",
      1,
      1,
      0,
      [ "@query" ],
      0,
      "2e91e138d0775cd4a1b33794164532ce"
    ]
  ]
]
back to top