Revision - b06f899 - Merge pull request #207 from franziskuskiefer/franziskus- [...]

Revision b06f899cc120e08d2b3ecce79abc2c014fb6080c authored by Santiago Zanella-Beguelin on 29 November 2019, 13:25:44 UTC, committed by GitHub on 29 November 2019, 13:25:44 UTC

Merge pull request #207 from franziskuskiefer/franziskus-libintvec-mozilla

Only add libintvector.h include when necessary for mozilla dist

2 parent s 5b69e68 + eefad99

Files
Changes

Permalinks

Vale.Interop.Types.fst.hints

[
  "}� ��,N�_��X��\u0007�",
  [
    [
      "Vale.Interop.Types.base_typ_as_type",
      1,
      1,
      1,
      [
        "@MaxIFuel_assumption", "@query",
        "assumption_FStar.UInt16.t__uu___haseq",
        "assumption_FStar.UInt32.t__uu___haseq",
        "assumption_FStar.UInt64.t__uu___haseq",
        "assumption_FStar.UInt8.t__uu___haseq",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt128",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt16",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt32",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt64",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt8",
        "fuel_guarded_inversion_Vale.Arch.HeapTypes_s.base_typ"
      ],
      0,
      "6df62071a86e8b09db3c6173eaaffb9b"
    ],
    [
      "Vale.Interop.Types.view_n_unfold",
      1,
      1,
      1,
      [
        "@MaxIFuel_assumption", "@query",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt128",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt16",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt32",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt64",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt8",
        "fuel_guarded_inversion_Vale.Arch.HeapTypes_s.base_typ"
      ],
      0,
      "7ac053ab29f6140cf33c193f2ea1d4c7"
    ],
    [
      "Vale.Interop.Types.down_view",
      1,
      1,
      1,
      [
        "@MaxIFuel_assumption", "@query",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt128",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt16",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt32",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt64",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt8",
        "equation_Vale.Interop.Types.base_typ_as_type",
        "fuel_guarded_inversion_Vale.Arch.HeapTypes_s.base_typ",
        "projection_inverse_BoxBool_proj_0"
      ],
      0,
      "f83392a05bf9bd82b8e04daa403397cd"
    ],
    [
      "Vale.Interop.Types.__proj__Buffer__item__rrel",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query", "equation_FStar.Preorder.preorder",
        "proj_equation_Vale.Interop.Types.Buffer_src",
        "projection_inverse_Vale.Interop.Types.Buffer_src",
        "refinement_interpretation_Tm_refine_bd10f09297e0e7dc08314f7d9211801c"
      ],
      0,
      "895d67648d977db07fe829a2704d6941"
    ],
    [
      "Vale.Interop.Types.__proj__Buffer__item__rel",
      1,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query", "equation_FStar.Preorder.preorder",
        "proj_equation_Vale.Interop.Types.Buffer_src",
        "projection_inverse_Vale.Interop.Types.Buffer_src",
        "refinement_interpretation_Tm_refine_bd10f09297e0e7dc08314f7d9211801c"
      ],
      0,
      "53905a8db4c15ce20fd7e08b2318a6e7"
    ],
    [
      "Vale.Interop.Types.__proj__Buffer__item__bsrc",
      1,
      1,
      0,
      [
        "@query", "proj_equation_Vale.Interop.Types.Buffer_rel",
        "proj_equation_Vale.Interop.Types.Buffer_rrel",
        "proj_equation_Vale.Interop.Types.Buffer_src",
        "projection_inverse_Vale.Interop.Types.Buffer_rel",
        "projection_inverse_Vale.Interop.Types.Buffer_rrel",
        "projection_inverse_Vale.Interop.Types.Buffer_src"
      ],
      0,
      "5f0aa6ed2e59555d5422ecb607748869"
    ],
    [
      "Vale.Interop.Types.base_typ_as_type",
      2,
      1,
      1,
      [
        "@MaxIFuel_assumption", "@query",
        "assumption_FStar.UInt16.t__uu___haseq",
        "assumption_FStar.UInt32.t__uu___haseq",
        "assumption_FStar.UInt64.t__uu___haseq",
        "assumption_FStar.UInt8.t__uu___haseq",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt128",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt16",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt32",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt64",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt8",
        "fuel_guarded_inversion_Vale.Arch.HeapTypes_s.base_typ"
      ],
      0,
      "94311041f5ae79ee5d9ed3b8a81b4244"
    ],
    [
      "Vale.Interop.Types.view_n_unfold",
      2,
      1,
      1,
      [
        "@MaxIFuel_assumption", "@query",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt128",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt16",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt32",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt64",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt8",
        "fuel_guarded_inversion_Vale.Arch.HeapTypes_s.base_typ"
      ],
      0,
      "d45c87d95b536c457ded1cdb63dd51df"
    ],
    [
      "Vale.Interop.Types.down_view",
      2,
      1,
      1,
      [
        "@MaxIFuel_assumption", "@query",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt128",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt16",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt32",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt64",
        "disc_equation_Vale.Arch.HeapTypes_s.TUInt8",
        "equation_Vale.Interop.Types.base_typ_as_type",
        "fuel_guarded_inversion_Vale.Arch.HeapTypes_s.base_typ",
        "projection_inverse_BoxBool_proj_0"
      ],
      0,
      "ef65ee3d7103838050389c7a2d217fe9"
    ],
    [
      "Vale.Interop.Types.__proj__Buffer__item__rrel",
      2,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query", "equation_FStar.Preorder.preorder",
        "proj_equation_Vale.Interop.Types.Buffer_src",
        "projection_inverse_Vale.Interop.Types.Buffer_src",
        "refinement_interpretation_Tm_refine_bd10f09297e0e7dc08314f7d9211801c"
      ],
      0,
      "bdb40e14035677726b67dc51b81866b5"
    ],
    [
      "Vale.Interop.Types.__proj__Buffer__item__rel",
      2,
      1,
      0,
      [
        "@MaxIFuel_assumption", "@query", "equation_FStar.Preorder.preorder",
        "proj_equation_Vale.Interop.Types.Buffer_src",
        "projection_inverse_Vale.Interop.Types.Buffer_src",
        "refinement_interpretation_Tm_refine_bd10f09297e0e7dc08314f7d9211801c"
      ],
      0,
      "a23fa15408e0a7683dca8993368ddd84"
    ],
    [
      "Vale.Interop.Types.__proj__Buffer__item__bsrc",
      2,
      1,
      0,
      [
        "@query", "proj_equation_Vale.Interop.Types.Buffer_rel",
        "proj_equation_Vale.Interop.Types.Buffer_rrel",
        "proj_equation_Vale.Interop.Types.Buffer_src",
        "projection_inverse_Vale.Interop.Types.Buffer_rel",
        "projection_inverse_Vale.Interop.Types.Buffer_rrel",
        "projection_inverse_Vale.Interop.Types.Buffer_src"
      ],
      0,
      "f53883f2e09fd6d5d3c467d225adf6d4"
    ]
  ]
]

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...