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
Hacl.Streaming.Functor.fsti.hints 
[
  "Ib�\u0015w�j$@e<\u0004�E�)",
  [
    [
      "Hacl.Streaming.Functor.loc_includes_union_l_footprint_s",
      1,
      0,
      0,
      [ "@query" ],
      0,
      "687d639a4d7b77201283a441854ac774"
    ],
    [
      "Hacl.Streaming.Functor.invariant",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "equation_Hacl.Streaming.Functor.state",
        "equation_Hacl.Streaming.Functor.state_",
        "equation_LowStar.Buffer.pointer",
        "projection_inverse_BoxInt_proj_0",
        "refinement_interpretation_Tm_refine_573cfed777dae20cc82e8fef9622857e"
      ],
      0,
      "5c91ee26782ad440f573ff9154834532"
    ],
    [
      "Hacl.Streaming.Functor.index_of_state",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
        "refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
      ],
      0,
      "a8a694e27ecff07bd9a6342dfdba8c46"
    ],
    [
      "Hacl.Streaming.Functor.create_in",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "refinement_interpretation_Tm_refine_02951fd03552320d928a2182ed63fa53",
        "refinement_interpretation_Tm_refine_a997f7fc0ee9057c4f6335ecd3b55d00"
      ],
      0,
      "9c7632283c9da9a239cec317b7d76b4e"
    ],
    [
      "Hacl.Streaming.Functor.init",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
        "refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
      ],
      0,
      "aed34523554736e51bdcae0a865974f3"
    ],
    [
      "Hacl.Streaming.Functor.update_pre",
      1,
      0,
      0,
      [ "@query" ],
      0,
      "3721688bfba6757b4d63f363941bb907"
    ],
    [
      "Hacl.Streaming.Functor.update",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
        "refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
      ],
      0,
      "00a4bbfac540a9bef5d7f43724aa1910"
    ],
    [
      "Hacl.Streaming.Functor.finish_st",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "equation_Hacl.Streaming.Functor.uint8",
        "equation_Hacl.Streaming.Interface.uint8",
        "fuel_guarded_inversion_Hacl.Streaming.Interface.block",
        "refinement_interpretation_Tm_refine_02951fd03552320d928a2182ed63fa53",
        "refinement_interpretation_Tm_refine_a997f7fc0ee9057c4f6335ecd3b55d00",
        "refinement_interpretation_Tm_refine_dad2225e9a5809c25cc11ca06929af8f"
      ],
      0,
      "e457c7375c48feb85c4931eefc5d39a8"
    ],
    [
      "Hacl.Streaming.Functor.free",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query",
        "refinement_interpretation_Tm_refine_282b371e484f60711d2ac598c6e009a2",
        "refinement_interpretation_Tm_refine_eed61e872c76c9d08d9c5e037b1dc22d"
      ],
      0,
      "3d6cf27838a2774e51744bc3918bdc14"
    ]
  ]
]
back to top