Content - 61c9655e9fe8bcc702839892cb696171ede011cd - 32875a5/code/hash/Hacl.Hash.Core.SHA1.fsti

visit type:

Tip revision: bcb9fdb99aacb660a93d73f950a56d47714c6afd authored by Son HO on 24 February 2021, 10:26:03 UTC
Merge branch 'master' into son_store_load

Tip revision: bcb9fdb

Hacl.Hash.Core.SHA1.fsti

module Hacl.Hash.Core.SHA1

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

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

Browse the archive

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