Revision dd7c85bbe802921102e7a8fda0419a8b92fdce30 authored by Gautier Hattenberger on 25 January 2023, 09:27:11 UTC, committed by GitHub on 25 January 2023, 09:27:11 UTC
fix compilation issue
1 parent bca1a10
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 13 bytes |
AEAD_Poly1305_64.c | -rw-r--r-- | 14.1 KB |
AEAD_Poly1305_64.h | -rw-r--r-- | 3.2 KB |
CMakeLists.txt | -rw-r--r-- | 1.3 KB |
FStar.c | -rw-r--r-- | 8.2 KB |
FStar.h | -rw-r--r-- | 2.8 KB |
Hacl_Chacha20.c | -rw-r--r-- | 8.4 KB |
Hacl_Chacha20.h | -rw-r--r-- | 2.7 KB |
Hacl_Chacha20Poly1305.c | -rw-r--r-- | 3.7 KB |
Hacl_Chacha20Poly1305.h | -rw-r--r-- | 2.2 KB |
Hacl_Chacha20_Vec128.c | -rw-r--r-- | 11.4 KB |
Hacl_Chacha20_Vec128.h | -rw-r--r-- | 2.1 KB |
Hacl_Curve25519.c | -rw-r--r-- | 25.6 KB |
Hacl_Curve25519.h | -rw-r--r-- | 2.2 KB |
Hacl_Ed25519.c | -rw-r--r-- | 87.9 KB |
Hacl_Ed25519.h | -rw-r--r-- | 6.1 KB |
Hacl_HMAC_SHA2_256.c | -rw-r--r-- | 11.7 KB |
Hacl_HMAC_SHA2_256.h | -rw-r--r-- | 2.7 KB |
Hacl_Policies.c | -rw-r--r-- | 1.9 KB |
Hacl_Policies.h | -rw-r--r-- | 1.6 KB |
Hacl_Poly1305_64.c | -rw-r--r-- | 15.4 KB |
Hacl_Poly1305_64.h | -rw-r--r-- | 3.1 KB |
Hacl_SHA2_256.c | -rw-r--r-- | 10.4 KB |
Hacl_SHA2_256.h | -rw-r--r-- | 2.9 KB |
Hacl_SHA2_384.c | -rw-r--r-- | 12.3 KB |
Hacl_SHA2_384.h | -rw-r--r-- | 2.9 KB |
Hacl_SHA2_512.c | -rw-r--r-- | 12.9 KB |
Hacl_SHA2_512.h | -rw-r--r-- | 3.5 KB |
Hacl_Salsa20.c | -rw-r--r-- | 10.1 KB |
Hacl_Salsa20.h | -rw-r--r-- | 2.2 KB |
LICENSE | -rw-r--r-- | 1.1 KB |
Makefile | -rw-r--r-- | 4.8 KB |
NaCl.c | -rw-r--r-- | 10.3 KB |
NaCl.h | -rw-r--r-- | 3.2 KB |
README.md | -rw-r--r-- | 392 bytes |
gcc_compat.h | -rw-r--r-- | 366 bytes |
haclnacl.c | -rw-r--r-- | 11.0 KB |
haclnacl.h | -rw-r--r-- | 4.9 KB |
kremlib.c | -rw-r--r-- | 1.4 KB |
kremlib.h | -rw-r--r-- | 22.1 KB |
kremlib_base.h | -rw-r--r-- | 5.7 KB |
kremlib_embedded.h | -rw-r--r-- | 1.3 KB |
vec128.h | -rw-r--r-- | 7.0 KB |
Computing file changes ...