Content - 4aef5b285f02500b6493e675ad0ddef246542317 - 59b68ea/code/hash/Hacl.Hash.MD5.fst

visit type:

Tip revision: c4296f11e5a8e7566aec0248a15c1997f9c03817 authored by Jonathan Protzenko on 29 March 2019, 00:53:56 UTC
Merge remote-tracking branch 'origin/fstar-master' into protz_remove_old

Tip revision: c4296f1

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 update_multi: update_multi_st MD5 = Hacl.Hash.MD.mk_update_multi MD5 update
let update_last: update_last_st MD5 = Hacl.Hash.MD.mk_update_last MD5 update_multi pad
let hash: hash_st MD5 = Hacl.Hash.MD.mk_hash MD5 alloca update_multi update_last finish

Browse the archive

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