Hacl blake2#3

Draft

franziskuskiefer wants to merge 18 commits intohacl-sha2from

Commits on Dec 5, 2023

zeta: updating format rule and removing linter rule.
armfazh
committed
HACL SHA2 code

franziskuskiefer
authored and
armfazh
committed
Add HACL SHA2 to Makefile and config

franziskuskiefer
authored and
armfazh
committed
addressed review comments

karthikbhargavan
authored and
armfazh
committed
propagating errors

karthikbhargavan
authored and
armfazh
committed
Formatting files according to clang-format.
armfazh
committed
Updating comment style.
armfazh
committed
Adding CRYPTO_SHA2_HACL module.
armfazh
committed
Set correct version identifier.
armfazh
committed
Compiles single module from multiple files.
armfazh
committed
Loading module manually, so we check whether it loads ok.
armfazh
committed
Fixing format of documentation strings for SHA2.
armfazh
committed
hacl blake2

franziskuskiefer
authored and
armfazh
committed
run ci

franziskuskiefer
authored and
armfazh
committed
Fixing license and compilation module.
armfazh
committed
Running Blake2 in CI.
armfazh
committed
Fixing documentation strings for BLAKE2.
armfazh
committed

Commits on Dec 15, 2023

fixed blake2 finish to truncate output
karthikbhargavan
committed