SHA-3 Algorithms from HACL*#4

Draft

karthikbhargavan 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 sha3

franziskuskiefer
authored and
armfazh
committed
run ci

franziskuskiefer
authored and
armfazh
committed

Commits on Dec 12, 2023

Commits on Dec 15, 2023

update-finish partial buffer length fixed
karthikbhargavan
committed