Content - 213e145d3114e5d04605e5861b68d0af376bef59 - a14f85c/code/hash/Hacl.Hash.Core.MD5.fsti

visit type:

Tip revision: 34a3a6a01ba9325d357916e869098d2f97de9691 authored by Son Ho on 24 February 2021, 22:37:50 UTC
Update dist/gcc-compatible/libintvector.h

Tip revision: 34a3a6a

Hacl.Hash.Core.MD5.fsti

module Hacl.Hash.Core.MD5

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

noextract inline_for_extraction
val legacy_alloca: alloca_st (|MD5, ()|)
val legacy_init: init_st (|MD5, ()|)
val legacy_update: update_st (|MD5, ()|)
val legacy_pad: pad_st MD5
val legacy_finish: finish_st (|MD5, ()|)

Browse the archive

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