All four SHA-2 variants from HACL*#2

Draft

karthikbhargavan wants to merge 12 commits into

Commits on Mar 18, 2024

zeta: updating format rule and removing linter rule.

armfazh
authored and
fredlawl
committed
HACL SHA2 code

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

franziskuskiefer
authored and
fredlawl
committed
addressed review comments

karthikbhargavan
authored and
fredlawl
committed
propagating errors

karthikbhargavan
authored and
fredlawl
committed
Formatting files according to clang-format.

armfazh
authored and
fredlawl
committed
Updating comment style.

armfazh
authored and
fredlawl
committed
Adding CRYPTO_SHA2_HACL module.

armfazh
authored and
fredlawl
committed
Set correct version identifier.

armfazh
authored and
fredlawl
committed
Compiles single module from multiple files.

armfazh
authored and
fredlawl
committed
Loading module manually, so we check whether it loads ok.

armfazh
authored and
fredlawl
committed
Fixing format of documentation strings for SHA2.

armfazh
authored and
fredlawl
committed