HACL* verified C code (READ-ONLY, NOT NECESSARILY UP-TO-DATE)
Clone or download
Latest commit ad0f2ec Dec 6, 2018
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
AEAD_Poly1305_64.c Refresh HACL* after changes in the namespace Nov 29, 2017
AEAD_Poly1305_64.h Refresh HACL* after changes in the namespace Nov 29, 2017
CMakeLists.txt Refresh HACL* after changes in the namespace Nov 29, 2017
FStar.c Refresh HACL* after changes in the namespace Nov 29, 2017
FStar.h Refresh HACL* after changes in the namespace Nov 29, 2017
HACL.h Updating the HACL* snapshot Jan 22, 2018
Hacl_Chacha20.c Updating the HACL* snapshot Jan 22, 2018
Hacl_Chacha20.h Updating the HACL* snapshot Jan 22, 2018
Hacl_Chacha20Poly1305.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Chacha20Poly1305.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Chacha20_Vec128.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Chacha20_Vec128.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Curve25519.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Curve25519.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Ed25519.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Ed25519.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_HMAC_SHA2_256.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_HMAC_SHA2_256.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Policies.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Policies.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Poly1305_32.c Updating the HACL* snapshot Jan 22, 2018
Hacl_Poly1305_32.h Updating the HACL* snapshot Jan 22, 2018
Hacl_Poly1305_64.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Poly1305_64.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_SHA2_256.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_SHA2_256.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_SHA2_384.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_SHA2_384.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_SHA2_512.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_SHA2_512.h Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Salsa20.c Refresh HACL* after changes in the namespace Nov 29, 2017
Hacl_Salsa20.h Refresh HACL* after changes in the namespace Nov 29, 2017
LICENSE Update LICENSE Oct 6, 2017
Makefile Updating the HACL* snapshot Jan 22, 2018
NaCl.c Refresh HACL* after changes in the namespace Nov 29, 2017
NaCl.h Refresh HACL* after changes in the namespace Nov 29, 2017
README.md Update README.md Dec 6, 2018
gcc_compat.h Import current version of HACL* in C Oct 6, 2017
hacl_test_utils.c Restore build by using a snapshot from F*/stable and KreMLin/stable Oct 18, 2017
hacl_test_utils.h Restore build by using a snapshot from F*/stable and KreMLin/stable Oct 18, 2017
haclnacl.c Refresh HACL* after changes in the namespace Nov 29, 2017
haclnacl.h Restore build by using a snapshot from F*/stable and KreMLin/stable Oct 18, 2017
kremlib.c Refresh HACL* after changes in the namespace Nov 29, 2017
kremlib.h Refresh HACL* after changes in the namespace Nov 29, 2017
kremlib_base.h Refresh HACL* after changes in the namespace Nov 29, 2017
randombytes.c Restore build by using a snapshot from F*/stable and KreMLin/stable Oct 18, 2017
test-aead.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-box.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-chacha-vec128.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-chacha.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-curve.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-ed25519.c Import current version of HACL* in C Oct 6, 2017
test-hmac-sha256.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-poly.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-salsa.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-secretbox.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-sha256.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-sha384.c Refresh HACL* after changes in the namespace Nov 29, 2017
test-sha512.c Refresh HACL* after changes in the namespace Nov 29, 2017
testlib.c Import current version of HACL* in C Oct 6, 2017
testlib.h Import current version of HACL* in C Oct 6, 2017
vec128.h Updating the HACL* snapshot Jan 22, 2018

README.md