Content - e96cad6a91efe493a4e6f33eac22a05ee50e5a57 - 45c717b/code/hash/Hacl.Hash.Core.MD5.fsti

visit type:

Tip revision: 32de512ffde22614a29c480d91e0151f2639e462 authored by Aseem Rastogi on 16 July 2019, 04:31:20 UTC
Merge branch 'fstar-master' into aseem_top_level_null_wp

Tip revision: 32de512

Hacl.Hash.Core.MD5.fsti

module Hacl.Hash.Core.MD5

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

noextract inline_for_extraction
val alloca: alloca_st MD5
val init: init_st MD5
val update: update_st MD5
val pad: pad_st MD5
val finish: finish_st MD5

Browse the archive

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