Index of /src/hacl-star-sys-0.1.0/hacl-c/
../
AEAD_Poly1305_64.c 07-Dec-2017 09:37 14333
AEAD_Poly1305_64.h 07-Dec-2017 09:37 3254
CMakeLists.txt 07-Dec-2017 09:37 1371
FStar.c 07-Dec-2017 09:37 8370
FStar.h 07-Dec-2017 09:37 2902
HACL.h 06-Mar-2018 17:33 1512
Hacl_Chacha20.c 06-Mar-2018 17:33 8639
Hacl_Chacha20.h 06-Mar-2018 17:33 2731
Hacl_Chacha20Poly1305.c 07-Dec-2017 09:37 3799
Hacl_Chacha20Poly1305.h 07-Dec-2017 09:37 2225
Hacl_Chacha20_Vec128.c 07-Dec-2017 09:37 11626
Hacl_Chacha20_Vec128.h 07-Dec-2017 09:37 2108
Hacl_Curve25519.c 07-Dec-2017 09:37 26169
Hacl_Curve25519.h 07-Dec-2017 09:37 2267
Hacl_Ed25519.c 07-Dec-2017 09:37 89836
Hacl_Ed25519.h 07-Dec-2017 09:37 6146
Hacl_HMAC_SHA2_256.c 07-Dec-2017 09:37 11980
Hacl_HMAC_SHA2_256.h 07-Dec-2017 09:37 2779
Hacl_Policies.c 07-Dec-2017 09:37 1969
Hacl_Policies.h 07-Dec-2017 09:37 1624
Hacl_Poly1305_32.c 06-Mar-2018 17:33 18648
Hacl_Poly1305_32.h 06-Mar-2018 17:33 3249
Hacl_Poly1305_64.c 07-Dec-2017 09:37 15761
Hacl_Poly1305_64.h 07-Dec-2017 09:37 3139
Hacl_SHA2_256.c 07-Dec-2017 09:37 10685
Hacl_SHA2_256.h 07-Dec-2017 09:37 2924
Hacl_SHA2_384.c 07-Dec-2017 09:37 12645
Hacl_SHA2_384.h 07-Dec-2017 09:37 2980
Hacl_SHA2_512.c 07-Dec-2017 09:37 13237
Hacl_SHA2_512.h 07-Dec-2017 09:37 3588
Hacl_Salsa20.c 07-Dec-2017 09:37 10324
Hacl_Salsa20.h 07-Dec-2017 09:37 2232
LICENSE 07-Dec-2017 09:37 1088
Makefile 06-Mar-2018 17:33 5450
NaCl.c 15-Dec-2017 15:20 10507
NaCl.h 07-Dec-2017 09:37 3301
README.md 07-Dec-2017 09:37 392
gcc_compat.h 07-Dec-2017 09:37 366
hacl_test_utils.c 07-Dec-2017 09:37 1957
hacl_test_utils.h 07-Dec-2017 09:37 443
haclnacl.c 07-Dec-2017 09:37 11253
haclnacl.h 07-Dec-2017 09:37 4982
kremlib.c 07-Dec-2017 09:37 1458
kremlib.h 07-Dec-2017 09:37 22592
kremlib_base.h 07-Dec-2017 09:37 5791
randombytes.c 07-Dec-2017 09:37 227
test-aead.c 07-Dec-2017 09:37 8850
test-box.c 07-Dec-2017 09:37 9082
test-chacha-vec128.c 07-Dec-2017 09:37 12139
test-chacha.c 07-Dec-2017 09:37 11714
test-curve.c 07-Dec-2017 09:37 11723
test-ed25519.c 07-Dec-2017 09:37 8381
test-hmac-sha256.c 07-Dec-2017 09:37 6102
test-poly.c 07-Dec-2017 09:37 8311
test-salsa.c 07-Dec-2017 09:37 15964
test-secretbox.c 07-Dec-2017 09:37 7856
test-sha256.c 07-Dec-2017 09:37 5837
test-sha384.c 07-Dec-2017 09:37 5834
test-sha512.c 07-Dec-2017 09:37 5766
testlib.c 07-Dec-2017 09:37 1636
testlib.h 07-Dec-2017 09:37 2165
vec128.h 06-Mar-2018 17:33 7163