Revision bca1a10ddc9bf6844b8b3ab1f895070523edd149 authored by Michal Podhradsky on 17 March 2018, 02:48:31 UTC, committed by Michal Podhradsky on 17 March 2018, 02:48:31 UTC
1 parent 4f6d013
| 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 ...
