Revision d8981f728f009b6dc2ac54cec6aac38c3a361450 authored by Ann Weine on 19 February 2020, 10:14:23 UTC, committed by GitHub on 19 February 2020, 10:14:23 UTC
File | Mode | Size |
---|---|---|
lib | ||
lib_gen | ||
EverCrypt.c | -rw-r--r-- | 50.7 KB |
EverCrypt.h | -rw-r--r-- | 10.4 KB |
EverCrypt_AEAD.c | -rw-r--r-- | 22.9 KB |
EverCrypt_AEAD.h | -rw-r--r-- | 2.6 KB |
EverCrypt_AutoConfig2.c | -rw-r--r-- | 4.9 KB |
EverCrypt_AutoConfig2.h | -rw-r--r-- | 2.8 KB |
EverCrypt_CTR.c | -rw-r--r-- | 12.4 KB |
EverCrypt_CTR.h | -rw-r--r-- | 3.0 KB |
EverCrypt_Chacha20Poly1305.c | -rw-r--r-- | 2.5 KB |
EverCrypt_Chacha20Poly1305.h | -rw-r--r-- | 2.0 KB |
EverCrypt_Cipher.c | -rw-r--r-- | 1.4 KB |
EverCrypt_Cipher.h | -rw-r--r-- | 1.6 KB |
EverCrypt_Curve25519.c | -rw-r--r-- | 2.2 KB |
EverCrypt_Curve25519.h | -rw-r--r-- | 1.8 KB |
EverCrypt_DRBG.c | -rw-r--r-- | 72.1 KB |
EverCrypt_DRBG.h | -rw-r--r-- | 5.8 KB |
EverCrypt_Ed25519.c | -rw-r--r-- | 1.9 KB |
EverCrypt_Ed25519.h | -rw-r--r-- | 1.9 KB |
EverCrypt_Error.c | -rw-r--r-- | 2.6 KB |
EverCrypt_Error.h | -rw-r--r-- | 2.2 KB |
EverCrypt_HKDF.c | -rw-r--r-- | 9.7 KB |
EverCrypt_HKDF.h | -rw-r--r-- | 3.2 KB |
EverCrypt_HMAC.c | -rw-r--r-- | 9.8 KB |
EverCrypt_HMAC.h | -rw-r--r-- | 2.3 KB |
EverCrypt_Hacl.h | -rw-r--r-- | 2.3 KB |
EverCrypt_Hash.c | -rw-r--r-- | 41.4 KB |
EverCrypt_Hash.h | -rw-r--r-- | 6.4 KB |
EverCrypt_Helpers.h | -rw-r--r-- | 1.8 KB |
EverCrypt_OpenSSL.h | -rw-r--r-- | 4.0 KB |
EverCrypt_Poly1305.c | -rw-r--r-- | 2.8 KB |
EverCrypt_Poly1305.h | -rw-r--r-- | 1.7 KB |
EverCrypt_StaticConfig.c | -rw-r--r-- | 1.3 KB |
EverCrypt_StaticConfig.h | -rw-r--r-- | 1.6 KB |
EverCrypt_Vale.c | -rw-r--r-- | 1.9 KB |
EverCrypt_Vale.h | -rw-r--r-- | 2.7 KB |
Hacl_AES.c | -rw-r--r-- | 114.6 KB |
Hacl_AES.h | -rw-r--r-- | 2.6 KB |
Hacl_AES128.h | -rw-r--r-- | 1.6 KB |
Hacl_Blake2b_256.c | -rw-r--r-- | 18.8 KB |
Hacl_Blake2b_256.h | -rw-r--r-- | 1.6 KB |
Hacl_Blake2b_32.c | -rw-r--r-- | 20.7 KB |
Hacl_Blake2b_32.h | -rw-r--r-- | 1.7 KB |
Hacl_Blake2s_128.c | -rw-r--r-- | 18.4 KB |
Hacl_Blake2s_128.h | -rw-r--r-- | 1.6 KB |
Hacl_Blake2s_32.c | -rw-r--r-- | 20.2 KB |
Hacl_Blake2s_32.h | -rw-r--r-- | 1.6 KB |
Hacl_Chacha20.c | -rw-r--r-- | 6.6 KB |
Hacl_Chacha20.h | -rw-r--r-- | 2.1 KB |
Hacl_Chacha20Poly1305_128.c | -rw-r--r-- | 54.1 KB |
Hacl_Chacha20Poly1305_128.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20Poly1305_256.c | -rw-r--r-- | 54.5 KB |
Hacl_Chacha20Poly1305_256.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20Poly1305_32.c | -rw-r--r-- | 17.4 KB |
Hacl_Chacha20Poly1305_32.h | -rw-r--r-- | 1.9 KB |
Hacl_Chacha20_Vec128.c | -rw-r--r-- | 35.7 KB |
Hacl_Chacha20_Vec128.h | -rw-r--r-- | 1.8 KB |
Hacl_Chacha20_Vec256.c | -rw-r--r-- | 42.8 KB |
Hacl_Chacha20_Vec256.h | -rw-r--r-- | 1.8 KB |
Hacl_Chacha20_Vec32.c | -rw-r--r-- | 10.0 KB |
Hacl_Chacha20_Vec32.h | -rw-r--r-- | 1.8 KB |
Hacl_Curve25519_51.c | -rw-r--r-- | 38.4 KB |
Hacl_Curve25519_51.h | -rw-r--r-- | 2.4 KB |
Hacl_Curve25519_64.c | -rw-r--r-- | 10.6 KB |
Hacl_Curve25519_64.h | -rw-r--r-- | 1.8 KB |
Hacl_Curve25519_64_Slow.c | -rw-r--r-- | 25.7 KB |
Hacl_Curve25519_64_Slow.h | -rw-r--r-- | 1.7 KB |
Hacl_ECDSA.c | -rw-r--r-- | 49.3 KB |
Hacl_ECDSA.h | -rw-r--r-- | 1.7 KB |
Hacl_Ed25519.c | -rw-r--r-- | 67.5 KB |
Hacl_Ed25519.h | -rw-r--r-- | 1.9 KB |
Hacl_Frodo_KEM.c | -rw-r--r-- | 20.7 KB |
Hacl_Frodo_KEM.h | -rw-r--r-- | 1.8 KB |
Hacl_HKDF.c | -rw-r--r-- | 4.2 KB |
Hacl_HKDF.h | -rw-r--r-- | 1.9 KB |
Hacl_HMAC.c | -rw-r--r-- | 8.4 KB |
Hacl_HMAC.h | -rw-r--r-- | 2.0 KB |
Hacl_HMAC_DRBG.c | -rw-r--r-- | 44.6 KB |
Hacl_HMAC_DRBG.h | -rw-r--r-- | 3.2 KB |
Hacl_Hash.c | -rw-r--r-- | 64.6 KB |
Hacl_Hash.h | -rw-r--r-- | 4.8 KB |
Hacl_Impl_Blake2_Constants.h | -rw-r--r-- | 4.7 KB |
Hacl_Kremlib.c | -rw-r--r-- | 1.4 KB |
Hacl_Kremlib.h | -rw-r--r-- | 2.6 KB |
Hacl_Lib.h | -rw-r--r-- | 1.5 KB |
Hacl_NaCl.c | -rw-r--r-- | 8.8 KB |
Hacl_NaCl.h | -rw-r--r-- | 3.2 KB |
Hacl_Poly1305_128.c | -rw-r--r-- | 75.1 KB |
Hacl_Poly1305_128.h | -rw-r--r-- | 2.3 KB |
Hacl_Poly1305_256.c | -rw-r--r-- | 98.8 KB |
Hacl_Poly1305_256.h | -rw-r--r-- | 2.3 KB |
Hacl_Poly1305_32.c | -rw-r--r-- | 17.1 KB |
Hacl_Poly1305_32.h | -rw-r--r-- | 1.9 KB |
Hacl_SHA3.c | -rw-r--r-- | 8.8 KB |
Hacl_SHA3.h | -rw-r--r-- | 2.8 KB |
Hacl_Salsa20.c | -rw-r--r-- | 12.0 KB |
Hacl_Salsa20.h | -rw-r--r-- | 1.9 KB |
Hacl_Spec.c | -rw-r--r-- | 1.7 KB |
Hacl_Spec.h | -rw-r--r-- | 2.4 KB |
INFO.txt | -rw-r--r-- | 186 bytes |
Lib_Memzero.c | -rw-r--r-- | 614 bytes |
Lib_PrintBuffer.c | -rw-r--r-- | 1.2 KB |
Lib_PrintBuffer.h | -rw-r--r-- | 1.8 KB |
Lib_RandomBuffer_System.c | -rw-r--r-- | 1.4 KB |
Lib_RandomBuffer_System.h | -rw-r--r-- | 1.5 KB |
Makefile | -rw-r--r-- | 4.6 KB |
Makefile.basic | -rw-r--r-- | 1.4 KB |
Makefile.include | -rw-r--r-- | 2.1 KB |
MerkleTree.c | -rw-r--r-- | 51.5 KB |
MerkleTree.h | -rw-r--r-- | 6.0 KB |
TestLib.h | -rw-r--r-- | 3.3 KB |
Vale.c | -rw-r--r-- | 1.2 KB |
Vale.h | -rw-r--r-- | 4.3 KB |
Vale_Inline.h | -rw-r--r-- | 2.1 KB |
aes-i686.asm | -rw-r--r-- | 8.5 KB |
aes-x86_64-darwin.S | -rw-r--r-- | 6.6 KB |
aes-x86_64-linux.S | -rw-r--r-- | 6.6 KB |
aes-x86_64-mingw.S | -rw-r--r-- | 6.6 KB |
aes-x86_64-msvc.asm | -rw-r--r-- | 6.7 KB |
aesgcm-x86_64-darwin.S | -rw-r--r-- | 194.9 KB |
aesgcm-x86_64-linux.S | -rw-r--r-- | 194.9 KB |
aesgcm-x86_64-mingw.S | -rw-r--r-- | 205.8 KB |
aesgcm-x86_64-msvc.asm | -rw-r--r-- | 203.1 KB |
cpuid-x86_64-darwin.S | -rw-r--r-- | 1.4 KB |
cpuid-x86_64-linux.S | -rw-r--r-- | 1.4 KB |
cpuid-x86_64-mingw.S | -rw-r--r-- | 1.4 KB |
cpuid-x86_64-msvc.asm | -rw-r--r-- | 1.4 KB |
ctypes.depend | -rw-r--r-- | 11.0 KB |
curve25519-inline.h | -rw-r--r-- | 26.3 KB |
curve25519-x86_64-darwin.S | -rw-r--r-- | 18.4 KB |
curve25519-x86_64-linux.S | -rw-r--r-- | 18.4 KB |
curve25519-x86_64-mingw.S | -rw-r--r-- | 19.2 KB |
curve25519-x86_64-msvc.asm | -rw-r--r-- | 21.3 KB |
evercrypt_bcrypt.c | -rw-r--r-- | 6.9 KB |
evercrypt_openssl.c | -rw-r--r-- | 10.2 KB |
evercrypt_targetconfig.h | -rw-r--r-- | 650 bytes |
evercrypt_vale_stubs.c | -rw-r--r-- | 2.3 KB |
lib_intrinsics.h | -rw-r--r-- | 759 bytes |
libevercrypt.def | -rw-r--r-- | 13.2 KB |
libintvector.h | -rw-r--r-- | 18.1 KB |
oldaesgcm-x86_64-darwin.S | -rw-r--r-- | 76.4 KB |
oldaesgcm-x86_64-linux.S | -rw-r--r-- | 76.4 KB |
oldaesgcm-x86_64-mingw.S | -rw-r--r-- | 79.2 KB |
oldaesgcm-x86_64-msvc.asm | -rw-r--r-- | 75.7 KB |
poly1305-x86_64-darwin.S | -rw-r--r-- | 3.1 KB |
poly1305-x86_64-linux.S | -rw-r--r-- | 3.1 KB |
poly1305-x86_64-mingw.S | -rw-r--r-- | 3.2 KB |
poly1305-x86_64-msvc.asm | -rw-r--r-- | 3.2 KB |
sha256-x86_64-darwin.S | -rw-r--r-- | 5.7 KB |
sha256-x86_64-linux.S | -rw-r--r-- | 5.7 KB |
sha256-x86_64-mingw.S | -rw-r--r-- | 7.2 KB |
sha256-x86_64-msvc.asm | -rw-r--r-- | 7.1 KB |
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...