Skip to main content

Browse the archive

Revision 9c7444102374d3650ce16ea2cf8d6b8a726dd2df authored by Victor Dumitrescu on 11 May 2020, 16:25:39 UTC, committed by Victor Dumitrescu on 11 May 2020, 16:25:39 UTC 
OCaml API: Adding Blake2s
1 parent 6cadaf2
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,
      "1a91f58933b05d47943861d39c9ebecb"
    ]
  ]
]
back to top