Content - 1027309f8a717597ee6081469defd549d3f7462e - afd579b/code/hash/Hacl.Hash.MD5.fst

visit type:

Tip revision: 11aafe5eaa729b5f95c8073c509a96138c4be652 authored by Victor Dumitrescu on 25 June 2020, 10:49:28 UTC
Merge pull request #318 from project-everest/vdum_ocaml_p256

Tip revision: 11aafe5

Hacl.Hash.MD5.fst

module Hacl.Hash.MD5

open Hacl.Hash.Definitions
open Spec.Hash.Definitions

include Hacl.Hash.Core.MD5

friend Hacl.Hash.MD

let legacy_update_multi: update_multi_st MD5 = Hacl.Hash.MD.mk_update_multi MD5 legacy_update
let legacy_update_last: update_last_st MD5 = Hacl.Hash.MD.mk_update_last MD5 legacy_update_multi legacy_pad
let legacy_hash: hash_st MD5 = Hacl.Hash.MD.mk_hash MD5 legacy_alloca legacy_update_multi legacy_update_last legacy_finish

Browse the archive

https://github.com/project-everest/hacl-star