https://github.com/project-everest/hacl-star
History
Tip revision: bf04295247335b332ba4f91d389d1848ad550f4e authored by Félix Breton on 02 November 2019, 13:21:41 UTC
use clzll instead of clz to count leading zeros
Tip revision: bf04295
File Mode Size
c
config
fst
ml
EverCrypt.AutoConfig.fsti -rw-r--r-- 1.4 KB
EverCrypt.BCrypt.fsti -rw-r--r-- 1.4 KB
EverCrypt.Bytes.fsti -rw-r--r-- 673 bytes
EverCrypt.HKDF.fsti -rw-r--r-- 4.5 KB
EverCrypt.HMAC.fsti -rw-r--r-- 1.9 KB
EverCrypt.Hacl.fsti -rw-r--r-- 1.5 KB
EverCrypt.Hash.fsti -rw-r--r-- 13.7 KB
EverCrypt.Helpers.fsti -rw-r--r-- 742 bytes
EverCrypt.OpenSSL.fsti -rw-r--r-- 2.0 KB
EverCrypt.Spec.SHA2_256.fsti -rw-r--r-- 54 bytes
EverCrypt.Spec.SHA2_384.fsti -rw-r--r-- 54 bytes
EverCrypt.Specs.fsti -rw-r--r-- 1.5 KB
EverCrypt.Vale.fsti -rw-r--r-- 1.3 KB
EverCrypt.ValeGlue.fsti -rw-r--r-- 2.0 KB
EverCrypt.fsti -rw-r--r-- 3.3 KB
Flag.fst -rw-r--r-- 329 bytes
Vale.Hash.SHA2_256.fsti -rw-r--r-- 479 bytes

back to top