Revision 493d130bb523940efde89a74951e7a449fec93b0 authored by Aymeric Fromherz on 24 March 2020, 14:39:08 UTC, committed by Aymeric Fromherz on 24 March 2020, 14:39:08 UTC
Hacl.Blake2s_128.fst
module Hacl.Blake2s_128
module Spec = Spec.Blake2
module Impl = Hacl.Impl.Blake2.Generic
module Core = Hacl.Impl.Blake2.Core
[@CInline]
private
let blake2s_update_block = Impl.blake2_update_block #Spec.Blake2S #Core.M128
let blake2s = Impl.blake2 #Spec.Blake2S #Core.M128 blake2s_update_block
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...