https://github.com/project-everest/hacl-star
Tip revision: 00bcdde6136f81d5883d706e663727de170a2308 authored by Chris Hawblitzel on 20 December 2019, 15:29:38 UTC
Capitalize Vale procedure names
Capitalize Vale procedure names
Tip revision: 00bcdde
| File | Mode | Size |
|---|---|---|
| EverCrypt.c | -rw-r--r-- | 58.3 KB |
| EverCrypt.h | -rw-r--r-- | 18.5 KB |
| EverCrypt_AEAD.c | -rw-r--r-- | 25.3 KB |
| EverCrypt_AEAD.h | -rw-r--r-- | 3.5 KB |
| EverCrypt_AutoConfig2.c | -rw-r--r-- | 10.9 KB |
| EverCrypt_AutoConfig2.h | -rw-r--r-- | 6.1 KB |
| EverCrypt_CTR.c | -rw-r--r-- | 13.7 KB |
| EverCrypt_CTR.h | -rw-r--r-- | 4.4 KB |
| EverCrypt_Chacha20Poly1305.c | -rw-r--r-- | 2.7 KB |
| EverCrypt_Chacha20Poly1305.h | -rw-r--r-- | 2.2 KB |
| EverCrypt_Cipher.c | -rw-r--r-- | 1.5 KB |
| EverCrypt_Cipher.h | -rw-r--r-- | 1.7 KB |
| EverCrypt_Curve25519.c | -rw-r--r-- | 2.7 KB |
| EverCrypt_Curve25519.h | -rw-r--r-- | 2.1 KB |
| EverCrypt_DRBG.c | -rw-r--r-- | 75.6 KB |
| EverCrypt_DRBG.h | -rw-r--r-- | 9.8 KB |
| EverCrypt_Ed25519.c | -rw-r--r-- | 2.3 KB |
| EverCrypt_Ed25519.h | -rw-r--r-- | 2.4 KB |
| EverCrypt_Error.c | -rw-r--r-- | 3.3 KB |
| EverCrypt_Error.h | -rw-r--r-- | 3.0 KB |
| EverCrypt_HKDF.c | -rw-r--r-- | 10.9 KB |
| EverCrypt_HKDF.h | -rw-r--r-- | 4.4 KB |
| EverCrypt_HMAC.c | -rw-r--r-- | 10.5 KB |
| EverCrypt_HMAC.h | -rw-r--r-- | 3.0 KB |
| EverCrypt_Hacl.h | -rw-r--r-- | 2.9 KB |
| EverCrypt_Hash.c | -rw-r--r-- | 47.0 KB |
| EverCrypt_Hash.h | -rw-r--r-- | 11.2 KB |
| EverCrypt_Helpers.h | -rw-r--r-- | 2.5 KB |
| EverCrypt_OpenSSL.h | -rw-r--r-- | 6.0 KB |
| EverCrypt_Poly1305.c | -rw-r--r-- | 3.0 KB |
| EverCrypt_Poly1305.h | -rw-r--r-- | 1.8 KB |
| EverCrypt_StaticConfig.c | -rw-r--r-- | 1.7 KB |
| EverCrypt_StaticConfig.h | -rw-r--r-- | 2.0 KB |
| EverCrypt_Vale.c | -rw-r--r-- | 2.7 KB |
| EverCrypt_Vale.h | -rw-r--r-- | 4.3 KB |
| Hacl_AES.c | -rw-r--r-- | 119.3 KB |
| Hacl_AES.h | -rw-r--r-- | 2.6 KB |
| Hacl_AES128.h | -rw-r--r-- | 1.8 KB |
| Hacl_Chacha20.c | -rw-r--r-- | 8.9 KB |
| Hacl_Chacha20.h | -rw-r--r-- | 2.7 KB |
| Hacl_Chacha20Poly1305_128.c | -rw-r--r-- | 55.0 KB |
| Hacl_Chacha20Poly1305_128.h | -rw-r--r-- | 2.1 KB |
| Hacl_Chacha20Poly1305_256.c | -rw-r--r-- | 55.2 KB |
| Hacl_Chacha20Poly1305_256.h | -rw-r--r-- | 2.1 KB |
| Hacl_Chacha20Poly1305_32.c | -rw-r--r-- | 17.7 KB |
| Hacl_Chacha20Poly1305_32.h | -rw-r--r-- | 2.1 KB |
| Hacl_Chacha20_Vec128.c | -rw-r--r-- | 39.0 KB |
| Hacl_Chacha20_Vec128.h | -rw-r--r-- | 2.0 KB |
| Hacl_Chacha20_Vec256.c | -rw-r--r-- | 46.0 KB |
| Hacl_Chacha20_Vec256.h | -rw-r--r-- | 2.0 KB |
| Hacl_Chacha20_Vec32.c | -rw-r--r-- | 12.5 KB |
| Hacl_Chacha20_Vec32.h | -rw-r--r-- | 2.0 KB |
| Hacl_Curve25519_51.c | -rw-r--r-- | 41.7 KB |
| Hacl_Curve25519_51.h | -rw-r--r-- | 3.4 KB |
| Hacl_Curve25519_64.c | -rw-r--r-- | 15.5 KB |
| Hacl_Curve25519_64.h | -rw-r--r-- | 2.1 KB |
| Hacl_Curve25519_64_Slow.c | -rw-r--r-- | 36.2 KB |
| Hacl_Curve25519_64_Slow.h | -rw-r--r-- | 2.0 KB |
| Hacl_Ed25519.c | -rw-r--r-- | 79.0 KB |
| Hacl_Ed25519.h | -rw-r--r-- | 2.3 KB |
| Hacl_Frodo_KEM.c | -rw-r--r-- | 25.9 KB |
| Hacl_Frodo_KEM.h | -rw-r--r-- | 2.1 KB |
| Hacl_HKDF.c | -rw-r--r-- | 4.6 KB |
| Hacl_HKDF.h | -rw-r--r-- | 2.3 KB |
| Hacl_HMAC.c | -rw-r--r-- | 8.9 KB |
| Hacl_HMAC.h | -rw-r--r-- | 2.3 KB |
| Hacl_HMAC_DRBG.c | -rw-r--r-- | 45.8 KB |
| Hacl_HMAC_DRBG.h | -rw-r--r-- | 4.9 KB |
| Hacl_Hash.c | -rw-r--r-- | 71.6 KB |
| Hacl_Hash.h | -rw-r--r-- | 9.2 KB |
| Hacl_Kremlib.c | -rw-r--r-- | 1.8 KB |
| Hacl_Kremlib.h | -rw-r--r-- | 3.9 KB |
| Hacl_Lib.h | -rw-r--r-- | 1.7 KB |
| Hacl_NaCl.c | -rw-r--r-- | 12.5 KB |
| Hacl_NaCl.h | -rw-r--r-- | 4.6 KB |
| Hacl_Poly1305_128.c | -rw-r--r-- | 74.7 KB |
| Hacl_Poly1305_128.h | -rw-r--r-- | 3.3 KB |
| Hacl_Poly1305_256.c | -rw-r--r-- | 98.2 KB |
| Hacl_Poly1305_256.h | -rw-r--r-- | 3.3 KB |
| Hacl_Poly1305_32.c | -rw-r--r-- | 17.0 KB |
| Hacl_Poly1305_32.h | -rw-r--r-- | 2.6 KB |
| Hacl_SHA3.c | -rw-r--r-- | 10.4 KB |
| Hacl_SHA3.h | -rw-r--r-- | 4.2 KB |
| Hacl_Salsa20.c | -rw-r--r-- | 14.6 KB |
| Hacl_Salsa20.h | -rw-r--r-- | 2.2 KB |
| Hacl_Spec.c | -rw-r--r-- | 1.8 KB |
| Hacl_Spec.h | -rw-r--r-- | 2.9 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-- | 2.2 KB |
| Lib_RandomBuffer_System.c | -rw-r--r-- | 1.4 KB |
| Lib_RandomBuffer_System.h | -rw-r--r-- | 1.6 KB |
| Makefile | -rw-r--r-- | 4.6 KB |
| Makefile.basic | -rw-r--r-- | 1.4 KB |
| Makefile.include | -rw-r--r-- | 1.8 KB |
| MerkleTree.c | -rw-r--r-- | 66.9 KB |
| MerkleTree.h | -rw-r--r-- | 10.7 KB |
| TestLib.h | -rw-r--r-- | 4.3 KB |
| Vale.c | -rw-r--r-- | 1.3 KB |
| Vale.h | -rw-r--r-- | 6.2 KB |
| Vale_Inline.h | -rw-r--r-- | 2.7 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 |
| curve25519-inline.h | -rw-r--r-- | 23.3 KB |
| curve25519-x86_64-darwin.S | -rw-r--r-- | 14.3 KB |
| curve25519-x86_64-linux.S | -rw-r--r-- | 14.3 KB |
| curve25519-x86_64-mingw.S | -rw-r--r-- | 15.1 KB |
| curve25519-x86_64-msvc.asm | -rw-r--r-- | 17.2 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 |
| libevercrypt.def | -rw-r--r-- | 13.0 KB |
| libintvector.h | -rw-r--r-- | 11.4 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 |
