Skip to main content

Browse the archive

Revision 0d9153dc34ee2dcf0821e3f21e825fc5bb8895b4 authored by Santiago Zanella-Beguelin on 11 December 2019, 17:46:08 UTC, committed by Santiago Zanella-Beguelin on 12 December 2019, 10:33:01 UTC 
Actually warn about snapshot diff
1 parent 7405f78
Raw File
Spec.HMAC_DRBG.fsti.hints 
[
  "�\u0016�)\u0011\u0002(B�=Z��[\u0018",
  [
    [
      "Spec.HMAC_DRBG.min_length",
      1,
      0,
      0,
      [
        "@MaxIFuel_assumption", "@query", "bool_inversion",
        "disc_equation_Spec.Hash.Definitions.SHA1",
        "disc_equation_Spec.Hash.Definitions.SHA2_256",
        "disc_equation_Spec.Hash.Definitions.SHA2_384",
        "disc_equation_Spec.Hash.Definitions.SHA2_512",
        "equation_Spec.Agile.HMAC.is_supported_alg",
        "equation_Spec.HMAC_DRBG.supported_alg",
        "refinement_interpretation_Tm_refine_00b7086f5544e6080b4b49859916f574",
        "typing_Spec.Agile.HMAC.is_supported_alg"
      ],
      0,
      "61818f8fa2d63f7e6946dcba2f91ca4f"
    ]
  ]
]
back to top