LICENSE
MANIFEST.in
README.rst
pyproject.toml
setup.py
hacl-star/LICENSE
hacl-star/MAINTAINERS.md
hacl-star/README.md
hacl-star/SECURITY.md
hacl-star/dist/gcc-compatible/EverCrypt_AEAD.c
hacl-star/dist/gcc-compatible/EverCrypt_AEAD.h
hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.c
hacl-star/dist/gcc-compatible/EverCrypt_AutoConfig2.h
hacl-star/dist/gcc-compatible/EverCrypt_Chacha20Poly1305.c
hacl-star/dist/gcc-compatible/EverCrypt_Chacha20Poly1305.h
hacl-star/dist/gcc-compatible/EverCrypt_Cipher.c
hacl-star/dist/gcc-compatible/EverCrypt_Cipher.h
hacl-star/dist/gcc-compatible/EverCrypt_Curve25519.c
hacl-star/dist/gcc-compatible/EverCrypt_Curve25519.h
hacl-star/dist/gcc-compatible/EverCrypt_DRBG.c
hacl-star/dist/gcc-compatible/EverCrypt_DRBG.h
hacl-star/dist/gcc-compatible/EverCrypt_Ed25519.c
hacl-star/dist/gcc-compatible/EverCrypt_Ed25519.h
hacl-star/dist/gcc-compatible/EverCrypt_Error.h
hacl-star/dist/gcc-compatible/EverCrypt_HKDF.c
hacl-star/dist/gcc-compatible/EverCrypt_HKDF.h
hacl-star/dist/gcc-compatible/EverCrypt_HMAC.c
hacl-star/dist/gcc-compatible/EverCrypt_HMAC.h
hacl-star/dist/gcc-compatible/EverCrypt_Hash.c
hacl-star/dist/gcc-compatible/EverCrypt_Hash.h
hacl-star/dist/gcc-compatible/EverCrypt_Poly1305.c
hacl-star/dist/gcc-compatible/EverCrypt_Poly1305.h
hacl-star/dist/gcc-compatible/Hacl_AEAD_Chacha20Poly1305.c
hacl-star/dist/gcc-compatible/Hacl_AEAD_Chacha20Poly1305.h
hacl-star/dist/gcc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd128.c
hacl-star/dist/gcc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd128.h
hacl-star/dist/gcc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd256.c
hacl-star/dist/gcc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd256.h
hacl-star/dist/gcc-compatible/Hacl_AES128.h
hacl-star/dist/gcc-compatible/Hacl_Bignum.c
hacl-star/dist/gcc-compatible/Hacl_Bignum.h
hacl-star/dist/gcc-compatible/Hacl_Bignum256.c
hacl-star/dist/gcc-compatible/Hacl_Bignum256.h
hacl-star/dist/gcc-compatible/Hacl_Bignum256_32.c
hacl-star/dist/gcc-compatible/Hacl_Bignum256_32.h
hacl-star/dist/gcc-compatible/Hacl_Bignum32.c
hacl-star/dist/gcc-compatible/Hacl_Bignum32.h
hacl-star/dist/gcc-compatible/Hacl_Bignum4096.c
hacl-star/dist/gcc-compatible/Hacl_Bignum4096.h
hacl-star/dist/gcc-compatible/Hacl_Bignum4096_32.c
hacl-star/dist/gcc-compatible/Hacl_Bignum4096_32.h
hacl-star/dist/gcc-compatible/Hacl_Bignum64.c
hacl-star/dist/gcc-compatible/Hacl_Bignum64.h
hacl-star/dist/gcc-compatible/Hacl_Chacha20.c
hacl-star/dist/gcc-compatible/Hacl_Chacha20.h
hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec128.c
hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec128.h
hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec256.c
hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec256.h
hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec32.c
hacl-star/dist/gcc-compatible/Hacl_Chacha20_Vec32.h
hacl-star/dist/gcc-compatible/Hacl_Curve25519_51.c
hacl-star/dist/gcc-compatible/Hacl_Curve25519_51.h
hacl-star/dist/gcc-compatible/Hacl_Curve25519_64.c
hacl-star/dist/gcc-compatible/Hacl_Curve25519_64.h
hacl-star/dist/gcc-compatible/Hacl_EC_Ed25519.c
hacl-star/dist/gcc-compatible/Hacl_EC_Ed25519.h
hacl-star/dist/gcc-compatible/Hacl_EC_K256.c
hacl-star/dist/gcc-compatible/Hacl_EC_K256.h
hacl-star/dist/gcc-compatible/Hacl_Ed25519.c
hacl-star/dist/gcc-compatible/Hacl_Ed25519.h
hacl-star/dist/gcc-compatible/Hacl_FFDHE.c
hacl-star/dist/gcc-compatible/Hacl_FFDHE.h
hacl-star/dist/gcc-compatible/Hacl_Frodo1344.c
hacl-star/dist/gcc-compatible/Hacl_Frodo1344.h
hacl-star/dist/gcc-compatible/Hacl_Frodo64.c
hacl-star/dist/gcc-compatible/Hacl_Frodo64.h
hacl-star/dist/gcc-compatible/Hacl_Frodo640.c
hacl-star/dist/gcc-compatible/Hacl_Frodo640.h
hacl-star/dist/gcc-compatible/Hacl_Frodo976.c
hacl-star/dist/gcc-compatible/Hacl_Frodo976.h
hacl-star/dist/gcc-compatible/Hacl_Frodo_KEM.c
hacl-star/dist/gcc-compatible/Hacl_GenericField32.c
hacl-star/dist/gcc-compatible/Hacl_GenericField32.h
hacl-star/dist/gcc-compatible/Hacl_GenericField64.c
hacl-star/dist/gcc-compatible/Hacl_GenericField64.h
hacl-star/dist/gcc-compatible/Hacl_HKDF.c
hacl-star/dist/gcc-compatible/Hacl_HKDF.h
hacl-star/dist/gcc-compatible/Hacl_HKDF_Blake2b_256.c
hacl-star/dist/gcc-compatible/Hacl_HKDF_Blake2b_256.h
hacl-star/dist/gcc-compatible/Hacl_HKDF_Blake2s_128.c
hacl-star/dist/gcc-compatible/Hacl_HKDF_Blake2s_128.h
hacl-star/dist/gcc-compatible/Hacl_HMAC.c
hacl-star/dist/gcc-compatible/Hacl_HMAC.h
hacl-star/dist/gcc-compatible/Hacl_HMAC_Blake2b_256.c
hacl-star/dist/gcc-compatible/Hacl_HMAC_Blake2b_256.h
hacl-star/dist/gcc-compatible/Hacl_HMAC_Blake2s_128.c
hacl-star/dist/gcc-compatible/Hacl_HMAC_Blake2s_128.h
hacl-star/dist/gcc-compatible/Hacl_HMAC_DRBG.c
hacl-star/dist/gcc-compatible/Hacl_HMAC_DRBG.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP128_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP128_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP128_SHA512.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP128_SHA512.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP256_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP256_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP256_SHA512.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP256_SHA512.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP32_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP32_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP32_SHA512.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve51_CP32_SHA512.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP128_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP128_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP128_SHA512.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP128_SHA512.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP256_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP256_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP256_SHA512.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP256_SHA512.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP32_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP32_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP32_SHA512.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_Curve64_CP32_SHA512.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_P256_CP128_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_P256_CP128_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_P256_CP256_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_P256_CP256_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_HPKE_P256_CP32_SHA256.c
hacl-star/dist/gcc-compatible/Hacl_HPKE_P256_CP32_SHA256.h
hacl-star/dist/gcc-compatible/Hacl_Hash_Base.c
hacl-star/dist/gcc-compatible/Hacl_Hash_Base.h
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2b.c
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2b.h
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2b_Simd256.c
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2b_Simd256.h
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2s.c
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2s.h
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2s_Simd128.c
hacl-star/dist/gcc-compatible/Hacl_Hash_Blake2s_Simd128.h
hacl-star/dist/gcc-compatible/Hacl_Hash_MD5.c
hacl-star/dist/gcc-compatible/Hacl_Hash_MD5.h
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA1.c
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA1.h
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA2.c
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA2.h
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA3.c
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA3.h
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA3_Simd256.c
hacl-star/dist/gcc-compatible/Hacl_Hash_SHA3_Simd256.h
hacl-star/dist/gcc-compatible/Hacl_IntTypes_Intrinsics.h
hacl-star/dist/gcc-compatible/Hacl_IntTypes_Intrinsics_128.h
hacl-star/dist/gcc-compatible/Hacl_K256_ECDSA.c
hacl-star/dist/gcc-compatible/Hacl_K256_ECDSA.h
hacl-star/dist/gcc-compatible/Hacl_Krmllib.h
hacl-star/dist/gcc-compatible/Hacl_MAC_Poly1305.c
hacl-star/dist/gcc-compatible/Hacl_MAC_Poly1305.h
hacl-star/dist/gcc-compatible/Hacl_MAC_Poly1305_Simd128.c
hacl-star/dist/gcc-compatible/Hacl_MAC_Poly1305_Simd128.h
hacl-star/dist/gcc-compatible/Hacl_MAC_Poly1305_Simd256.c
hacl-star/dist/gcc-compatible/Hacl_MAC_Poly1305_Simd256.h
hacl-star/dist/gcc-compatible/Hacl_NaCl.c
hacl-star/dist/gcc-compatible/Hacl_NaCl.h
hacl-star/dist/gcc-compatible/Hacl_P256.c
hacl-star/dist/gcc-compatible/Hacl_P256.h
hacl-star/dist/gcc-compatible/Hacl_RSAPSS.c
hacl-star/dist/gcc-compatible/Hacl_RSAPSS.h
hacl-star/dist/gcc-compatible/Hacl_SHA2_Types.h
hacl-star/dist/gcc-compatible/Hacl_SHA2_Vec128.c
hacl-star/dist/gcc-compatible/Hacl_SHA2_Vec128.h
hacl-star/dist/gcc-compatible/Hacl_SHA2_Vec256.c
hacl-star/dist/gcc-compatible/Hacl_SHA2_Vec256.h
hacl-star/dist/gcc-compatible/Hacl_Salsa20.c
hacl-star/dist/gcc-compatible/Hacl_Salsa20.h
hacl-star/dist/gcc-compatible/Hacl_Spec.h
hacl-star/dist/gcc-compatible/Hacl_Streaming_HMAC.c
hacl-star/dist/gcc-compatible/Hacl_Streaming_HMAC.h
hacl-star/dist/gcc-compatible/Hacl_Streaming_Types.h
hacl-star/dist/gcc-compatible/INFO.txt
hacl-star/dist/gcc-compatible/Lib_Memzero0.c
hacl-star/dist/gcc-compatible/Lib_PrintBuffer.c
hacl-star/dist/gcc-compatible/Lib_PrintBuffer.h
hacl-star/dist/gcc-compatible/Lib_RandomBuffer_System.c
hacl-star/dist/gcc-compatible/Lib_RandomBuffer_System.h
hacl-star/dist/gcc-compatible/META
hacl-star/dist/gcc-compatible/Makefile
hacl-star/dist/gcc-compatible/Makefile.basic
hacl-star/dist/gcc-compatible/Makefile.include
hacl-star/dist/gcc-compatible/TestLib.h
hacl-star/dist/gcc-compatible/Vale.c
hacl-star/dist/gcc-compatible/aesgcm-ppc64le.S
hacl-star/dist/gcc-compatible/aesgcm-x86_64-darwin.S
hacl-star/dist/gcc-compatible/aesgcm-x86_64-linux.S
hacl-star/dist/gcc-compatible/aesgcm-x86_64-mingw.S
hacl-star/dist/gcc-compatible/aesgcm-x86_64-msvc.asm
hacl-star/dist/gcc-compatible/configure
hacl-star/dist/gcc-compatible/cpuid-x86_64-darwin.S
hacl-star/dist/gcc-compatible/cpuid-x86_64-linux.S
hacl-star/dist/gcc-compatible/cpuid-x86_64-mingw.S
hacl-star/dist/gcc-compatible/cpuid-x86_64-msvc.asm
hacl-star/dist/gcc-compatible/ctypes.depend
hacl-star/dist/gcc-compatible/curve25519-inline.h
hacl-star/dist/gcc-compatible/curve25519-x86_64-darwin.S
hacl-star/dist/gcc-compatible/curve25519-x86_64-linux.S
hacl-star/dist/gcc-compatible/curve25519-x86_64-mingw.S
hacl-star/dist/gcc-compatible/curve25519-x86_64-msvc.asm
hacl-star/dist/gcc-compatible/evercrypt_targetconfig.h
hacl-star/dist/gcc-compatible/lib_intrinsics.h
hacl-star/dist/gcc-compatible/lib_memzero0.h
hacl-star/dist/gcc-compatible/libevercrypt.def
hacl-star/dist/gcc-compatible/libintvector-shim.h
hacl-star/dist/gcc-compatible/libintvector.h
hacl-star/dist/gcc-compatible/poly1305-x86_64-darwin.S
hacl-star/dist/gcc-compatible/poly1305-x86_64-linux.S
hacl-star/dist/gcc-compatible/poly1305-x86_64-mingw.S
hacl-star/dist/gcc-compatible/poly1305-x86_64-msvc.asm
hacl-star/dist/gcc-compatible/sha256-ppc64le.S
hacl-star/dist/gcc-compatible/sha256-x86_64-darwin.S
hacl-star/dist/gcc-compatible/sha256-x86_64-linux.S
hacl-star/dist/gcc-compatible/sha256-x86_64-mingw.S
hacl-star/dist/gcc-compatible/sha256-x86_64-msvc.asm
hacl-star/dist/gcc-compatible/clients/krmlrenamings.h
hacl-star/dist/gcc-compatible/internal/EverCrypt_AEAD.h
hacl-star/dist/gcc-compatible/internal/EverCrypt_DRBG.h
hacl-star/dist/gcc-compatible/internal/EverCrypt_HMAC.h
hacl-star/dist/gcc-compatible/internal/EverCrypt_Hash.h
hacl-star/dist/gcc-compatible/internal/Hacl_Bignum.h
hacl-star/dist/gcc-compatible/internal/Hacl_Bignum25519_51.h
hacl-star/dist/gcc-compatible/internal/Hacl_Bignum_Base.h
hacl-star/dist/gcc-compatible/internal/Hacl_Bignum_K256.h
hacl-star/dist/gcc-compatible/internal/Hacl_Chacha20.h
hacl-star/dist/gcc-compatible/internal/Hacl_Curve25519_51.h
hacl-star/dist/gcc-compatible/internal/Hacl_Ed25519.h
hacl-star/dist/gcc-compatible/internal/Hacl_Ed25519_PrecompTable.h
hacl-star/dist/gcc-compatible/internal/Hacl_Frodo_KEM.h
hacl-star/dist/gcc-compatible/internal/Hacl_HMAC.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_Blake2b.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_Blake2b_Simd256.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_Blake2s.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_Blake2s_Simd128.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_MD5.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_SHA1.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_SHA2.h
hacl-star/dist/gcc-compatible/internal/Hacl_Hash_SHA3.h
hacl-star/dist/gcc-compatible/internal/Hacl_Impl_Blake2_Constants.h
hacl-star/dist/gcc-compatible/internal/Hacl_Impl_FFDHE_Constants.h
hacl-star/dist/gcc-compatible/internal/Hacl_K256_ECDSA.h
hacl-star/dist/gcc-compatible/internal/Hacl_K256_PrecompTable.h
hacl-star/dist/gcc-compatible/internal/Hacl_Krmllib.h
hacl-star/dist/gcc-compatible/internal/Hacl_MAC_Poly1305.h
hacl-star/dist/gcc-compatible/internal/Hacl_MAC_Poly1305_Simd128.h
hacl-star/dist/gcc-compatible/internal/Hacl_MAC_Poly1305_Simd256.h
hacl-star/dist/gcc-compatible/internal/Hacl_P256.h
hacl-star/dist/gcc-compatible/internal/Hacl_P256_PrecompTable.h
hacl-star/dist/gcc-compatible/internal/Hacl_SHA2_Types.h
hacl-star/dist/gcc-compatible/internal/Hacl_Spec.h
hacl-star/dist/gcc-compatible/internal/Hacl_Streaming_HMAC.h
hacl-star/dist/gcc-compatible/internal/Hacl_Streaming_Types.h
hacl-star/dist/gcc-compatible/internal/Vale.h
hacl-star/dist/gcc-compatible/lib/EverCrypt_AEAD_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_AutoConfig2_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_Chacha20Poly1305_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_Cipher_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_Curve25519_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_DRBG_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_Ed25519_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_Error_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_HKDF_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_HMAC_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_Hash_bindings.ml
hacl-star/dist/gcc-compatible/lib/EverCrypt_Poly1305_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_AEAD_Chacha20Poly1305_Simd128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_AEAD_Chacha20Poly1305_Simd256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_AEAD_Chacha20Poly1305_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum25519_51_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum256_32_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum32_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum4096_32_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum4096_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum64_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum_Base_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum_K256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Bignum_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Chacha20_Vec128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Chacha20_Vec256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Chacha20_Vec32_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Chacha20_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Curve25519_51_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Curve25519_64_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_EC_Ed25519_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_EC_K256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Ed25519_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_FFDHE_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Frodo1344_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Frodo640_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Frodo64_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Frodo976_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Frodo_KEM_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_GenericField32_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_GenericField64_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HKDF_Blake2b_256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HKDF_Blake2s_128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HKDF_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HMAC_Blake2b_256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HMAC_Blake2s_128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HMAC_DRBG_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HMAC_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve51_CP128_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve51_CP128_SHA512_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve51_CP256_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve51_CP256_SHA512_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve51_CP32_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve51_CP32_SHA512_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve64_CP128_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve64_CP128_SHA512_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve64_CP256_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve64_CP256_SHA512_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve64_CP32_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Curve64_CP32_SHA512_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_P256_CP128_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_P256_CP256_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_HPKE_P256_CP32_SHA256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_Base_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_Blake2b_Simd256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_Blake2b_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_Blake2s_Simd128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_Blake2s_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_MD5_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_SHA1_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_SHA2_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_SHA3_Simd256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Hash_SHA3_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_IntTypes_Intrinsics_128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_IntTypes_Intrinsics_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_K256_ECDSA_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_MAC_Poly1305_Simd128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_MAC_Poly1305_Simd256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_MAC_Poly1305_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_NaCl_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_P256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_RSAPSS_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_SHA2_Types_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_SHA2_Vec128_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_SHA2_Vec256_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Salsa20_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Spec_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Streaming_HMAC_bindings.ml
hacl-star/dist/gcc-compatible/lib/Hacl_Streaming_Types_bindings.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_AEAD_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_AutoConfig2_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_Chacha20Poly1305_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_Cipher_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_Curve25519_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_DRBG_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_Ed25519_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_Error_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_HKDF_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_HMAC_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_Hash_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/EverCrypt_Poly1305_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_AEAD_Chacha20Poly1305_Simd128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_AEAD_Chacha20Poly1305_Simd256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_AEAD_Chacha20Poly1305_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum25519_51_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum256_32_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum32_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum4096_32_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum4096_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum64_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum_Base_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum_K256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Bignum_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Chacha20_Vec128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Chacha20_Vec256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Chacha20_Vec32_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Chacha20_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Curve25519_51_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Curve25519_64_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_EC_Ed25519_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_EC_K256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Ed25519_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_FFDHE_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Frodo1344_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Frodo640_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Frodo64_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Frodo976_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Frodo_KEM_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_GenericField32_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_GenericField64_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HKDF_Blake2b_256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HKDF_Blake2s_128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HKDF_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HMAC_Blake2b_256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HMAC_Blake2s_128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HMAC_DRBG_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HMAC_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve51_CP128_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve51_CP128_SHA512_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve51_CP256_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve51_CP256_SHA512_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve51_CP32_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve51_CP32_SHA512_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve64_CP128_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve64_CP128_SHA512_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve64_CP256_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve64_CP256_SHA512_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve64_CP32_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Curve64_CP32_SHA512_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_P256_CP128_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_P256_CP256_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_HPKE_P256_CP32_SHA256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_Base_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_Blake2b_Simd256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_Blake2b_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_Blake2s_Simd128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_Blake2s_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_MD5_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_SHA1_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_SHA2_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_SHA3_Simd256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Hash_SHA3_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_IntTypes_Intrinsics_128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_IntTypes_Intrinsics_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_K256_ECDSA_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_MAC_Poly1305_Simd128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_MAC_Poly1305_Simd256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_MAC_Poly1305_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_NaCl_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_P256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_RSAPSS_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_SHA2_Types_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_SHA2_Vec128_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_SHA2_Vec256_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Salsa20_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Spec_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Streaming_HMAC_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Hacl_Streaming_Types_gen.ml
hacl-star/dist/gcc-compatible/lib_gen/Lib_RandomBuffer_System_gen.ml
hacl-star/dist/karamel/include/krmllib.h
hacl-star/dist/karamel/include/krml/c_endianness.h
hacl-star/dist/karamel/include/krml/fstar_int.h
hacl-star/dist/karamel/include/krml/lowstar_endianness.h
hacl-star/dist/karamel/include/krml/internal/builtin.h
hacl-star/dist/karamel/include/krml/internal/callconv.h
hacl-star/dist/karamel/include/krml/internal/compat.h
hacl-star/dist/karamel/include/krml/internal/debug.h
hacl-star/dist/karamel/include/krml/internal/target.h
hacl-star/dist/karamel/include/krml/internal/types.h
hacl-star/dist/karamel/include/krml/internal/wasmsupport.h
hacl-star/dist/karamel/krmllib/dist/minimal/FStar_UInt128.h
hacl-star/dist/karamel/krmllib/dist/minimal/FStar_UInt128_Verified.h
hacl-star/dist/karamel/krmllib/dist/minimal/FStar_UInt_8_16_32_64.h
hacl-star/dist/karamel/krmllib/dist/minimal/LowStar_Endianness.h
hacl-star/dist/karamel/krmllib/dist/minimal/Makefile.basic
hacl-star/dist/karamel/krmllib/dist/minimal/Makefile.include
hacl-star/dist/karamel/krmllib/dist/minimal/fstar_uint128_gcc64.h
hacl-star/dist/karamel/krmllib/dist/minimal/fstar_uint128_msvc.h
hacl-star/dist/karamel/krmllib/dist/minimal/fstar_uint128_struct_endianness.h
hacl-star/dist/karamel/krmllib/dist/minimal/libkrmllib.def
hacl-star/dist/msvc-compatible/EverCrypt_AEAD.c
hacl-star/dist/msvc-compatible/EverCrypt_AEAD.h
hacl-star/dist/msvc-compatible/EverCrypt_AutoConfig2.c
hacl-star/dist/msvc-compatible/EverCrypt_AutoConfig2.h
hacl-star/dist/msvc-compatible/EverCrypt_Chacha20Poly1305.c
hacl-star/dist/msvc-compatible/EverCrypt_Chacha20Poly1305.h
hacl-star/dist/msvc-compatible/EverCrypt_Cipher.c
hacl-star/dist/msvc-compatible/EverCrypt_Cipher.h
hacl-star/dist/msvc-compatible/EverCrypt_Curve25519.c
hacl-star/dist/msvc-compatible/EverCrypt_Curve25519.h
hacl-star/dist/msvc-compatible/EverCrypt_DRBG.c
hacl-star/dist/msvc-compatible/EverCrypt_DRBG.h
hacl-star/dist/msvc-compatible/EverCrypt_Ed25519.c
hacl-star/dist/msvc-compatible/EverCrypt_Ed25519.h
hacl-star/dist/msvc-compatible/EverCrypt_Error.h
hacl-star/dist/msvc-compatible/EverCrypt_HKDF.c
hacl-star/dist/msvc-compatible/EverCrypt_HKDF.h
hacl-star/dist/msvc-compatible/EverCrypt_HMAC.c
hacl-star/dist/msvc-compatible/EverCrypt_HMAC.h
hacl-star/dist/msvc-compatible/EverCrypt_Hash.c
hacl-star/dist/msvc-compatible/EverCrypt_Hash.h
hacl-star/dist/msvc-compatible/EverCrypt_Poly1305.c
hacl-star/dist/msvc-compatible/EverCrypt_Poly1305.h
hacl-star/dist/msvc-compatible/Hacl_AEAD_Chacha20Poly1305.c
hacl-star/dist/msvc-compatible/Hacl_AEAD_Chacha20Poly1305.h
hacl-star/dist/msvc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd128.c
hacl-star/dist/msvc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd128.h
hacl-star/dist/msvc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd256.c
hacl-star/dist/msvc-compatible/Hacl_AEAD_Chacha20Poly1305_Simd256.h
hacl-star/dist/msvc-compatible/Hacl_AES128.h
hacl-star/dist/msvc-compatible/Hacl_Bignum.c
hacl-star/dist/msvc-compatible/Hacl_Bignum.h
hacl-star/dist/msvc-compatible/Hacl_Bignum256.c
hacl-star/dist/msvc-compatible/Hacl_Bignum256.h
hacl-star/dist/msvc-compatible/Hacl_Bignum256_32.c
hacl-star/dist/msvc-compatible/Hacl_Bignum256_32.h
hacl-star/dist/msvc-compatible/Hacl_Bignum32.c
hacl-star/dist/msvc-compatible/Hacl_Bignum32.h
hacl-star/dist/msvc-compatible/Hacl_Bignum4096.c
hacl-star/dist/msvc-compatible/Hacl_Bignum4096.h
hacl-star/dist/msvc-compatible/Hacl_Bignum4096_32.c
hacl-star/dist/msvc-compatible/Hacl_Bignum4096_32.h
hacl-star/dist/msvc-compatible/Hacl_Bignum64.c
hacl-star/dist/msvc-compatible/Hacl_Bignum64.h
hacl-star/dist/msvc-compatible/Hacl_Chacha20.c
hacl-star/dist/msvc-compatible/Hacl_Chacha20.h
hacl-star/dist/msvc-compatible/Hacl_Chacha20_Vec128.c
hacl-star/dist/msvc-compatible/Hacl_Chacha20_Vec128.h
hacl-star/dist/msvc-compatible/Hacl_Chacha20_Vec256.c
hacl-star/dist/msvc-compatible/Hacl_Chacha20_Vec256.h
hacl-star/dist/msvc-compatible/Hacl_Chacha20_Vec32.c
hacl-star/dist/msvc-compatible/Hacl_Chacha20_Vec32.h
hacl-star/dist/msvc-compatible/Hacl_Curve25519_51.c
hacl-star/dist/msvc-compatible/Hacl_Curve25519_51.h
hacl-star/dist/msvc-compatible/Hacl_Curve25519_64.c
hacl-star/dist/msvc-compatible/Hacl_Curve25519_64.h
hacl-star/dist/msvc-compatible/Hacl_EC_Ed25519.c
hacl-star/dist/msvc-compatible/Hacl_EC_Ed25519.h
hacl-star/dist/msvc-compatible/Hacl_EC_K256.c
hacl-star/dist/msvc-compatible/Hacl_EC_K256.h
hacl-star/dist/msvc-compatible/Hacl_Ed25519.c
hacl-star/dist/msvc-compatible/Hacl_Ed25519.h
hacl-star/dist/msvc-compatible/Hacl_FFDHE.c
hacl-star/dist/msvc-compatible/Hacl_FFDHE.h
hacl-star/dist/msvc-compatible/Hacl_Frodo1344.c
hacl-star/dist/msvc-compatible/Hacl_Frodo1344.h
hacl-star/dist/msvc-compatible/Hacl_Frodo64.c
hacl-star/dist/msvc-compatible/Hacl_Frodo64.h
hacl-star/dist/msvc-compatible/Hacl_Frodo640.c
hacl-star/dist/msvc-compatible/Hacl_Frodo640.h
hacl-star/dist/msvc-compatible/Hacl_Frodo976.c
hacl-star/dist/msvc-compatible/Hacl_Frodo976.h
hacl-star/dist/msvc-compatible/Hacl_Frodo_KEM.c
hacl-star/dist/msvc-compatible/Hacl_GenericField32.c
hacl-star/dist/msvc-compatible/Hacl_GenericField32.h
hacl-star/dist/msvc-compatible/Hacl_GenericField64.c
hacl-star/dist/msvc-compatible/Hacl_GenericField64.h
hacl-star/dist/msvc-compatible/Hacl_HKDF.c
hacl-star/dist/msvc-compatible/Hacl_HKDF.h
hacl-star/dist/msvc-compatible/Hacl_HKDF_Blake2b_256.c
hacl-star/dist/msvc-compatible/Hacl_HKDF_Blake2b_256.h
hacl-star/dist/msvc-compatible/Hacl_HKDF_Blake2s_128.c
hacl-star/dist/msvc-compatible/Hacl_HKDF_Blake2s_128.h
hacl-star/dist/msvc-compatible/Hacl_HMAC.c
hacl-star/dist/msvc-compatible/Hacl_HMAC.h
hacl-star/dist/msvc-compatible/Hacl_HMAC_Blake2b_256.c
hacl-star/dist/msvc-compatible/Hacl_HMAC_Blake2b_256.h
hacl-star/dist/msvc-compatible/Hacl_HMAC_Blake2s_128.c
hacl-star/dist/msvc-compatible/Hacl_HMAC_Blake2s_128.h
hacl-star/dist/msvc-compatible/Hacl_HMAC_DRBG.c
hacl-star/dist/msvc-compatible/Hacl_HMAC_DRBG.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP128_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP128_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP128_SHA512.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP128_SHA512.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP256_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP256_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP256_SHA512.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP256_SHA512.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP32_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP32_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP32_SHA512.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve51_CP32_SHA512.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP128_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP128_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP128_SHA512.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP128_SHA512.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP256_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP256_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP256_SHA512.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP256_SHA512.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP32_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP32_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP32_SHA512.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_Curve64_CP32_SHA512.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_Interface_Hacl_Impl_HPKE_Hacl_Meta_HPKE.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_P256_CP128_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_P256_CP128_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_P256_CP256_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_P256_CP256_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_HPKE_P256_CP32_SHA256.c
hacl-star/dist/msvc-compatible/Hacl_HPKE_P256_CP32_SHA256.h
hacl-star/dist/msvc-compatible/Hacl_Hash_Base.c
hacl-star/dist/msvc-compatible/Hacl_Hash_Base.h
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2b.c
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2b.h
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2b_Simd256.c
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2b_Simd256.h
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2s.c
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2s.h
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2s_Simd128.c
hacl-star/dist/msvc-compatible/Hacl_Hash_Blake2s_Simd128.h
hacl-star/dist/msvc-compatible/Hacl_Hash_MD5.c
hacl-star/dist/msvc-compatible/Hacl_Hash_MD5.h
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA1.c
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA1.h
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA2.c
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA2.h
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA3.c
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA3.h
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA3_Simd256.c
hacl-star/dist/msvc-compatible/Hacl_Hash_SHA3_Simd256.h
hacl-star/dist/msvc-compatible/Hacl_IntTypes_Intrinsics.h
hacl-star/dist/msvc-compatible/Hacl_IntTypes_Intrinsics_128.h
hacl-star/dist/msvc-compatible/Hacl_K256_ECDSA.c
hacl-star/dist/msvc-compatible/Hacl_K256_ECDSA.h
hacl-star/dist/msvc-compatible/Hacl_Krmllib.h
hacl-star/dist/msvc-compatible/Hacl_MAC_Poly1305.c
hacl-star/dist/msvc-compatible/Hacl_MAC_Poly1305.h
hacl-star/dist/msvc-compatible/Hacl_MAC_Poly1305_Simd128.c
hacl-star/dist/msvc-compatible/Hacl_MAC_Poly1305_Simd128.h
hacl-star/dist/msvc-compatible/Hacl_MAC_Poly1305_Simd256.c
hacl-star/dist/msvc-compatible/Hacl_MAC_Poly1305_Simd256.h
hacl-star/dist/msvc-compatible/Hacl_NaCl.c
hacl-star/dist/msvc-compatible/Hacl_NaCl.h
hacl-star/dist/msvc-compatible/Hacl_P256.c
hacl-star/dist/msvc-compatible/Hacl_P256.h
hacl-star/dist/msvc-compatible/Hacl_RSAPSS.c
hacl-star/dist/msvc-compatible/Hacl_RSAPSS.h
hacl-star/dist/msvc-compatible/Hacl_SHA2_Types.h
hacl-star/dist/msvc-compatible/Hacl_SHA2_Vec128.c
hacl-star/dist/msvc-compatible/Hacl_SHA2_Vec128.h
hacl-star/dist/msvc-compatible/Hacl_SHA2_Vec256.c
hacl-star/dist/msvc-compatible/Hacl_SHA2_Vec256.h
hacl-star/dist/msvc-compatible/Hacl_Salsa20.c
hacl-star/dist/msvc-compatible/Hacl_Salsa20.h
hacl-star/dist/msvc-compatible/Hacl_Spec.h
hacl-star/dist/msvc-compatible/Hacl_Streaming_HMAC.c
hacl-star/dist/msvc-compatible/Hacl_Streaming_HMAC.h
hacl-star/dist/msvc-compatible/Hacl_Streaming_Types.h
hacl-star/dist/msvc-compatible/INFO.txt
hacl-star/dist/msvc-compatible/Lib_Memzero0.c
hacl-star/dist/msvc-compatible/Lib_PrintBuffer.c
hacl-star/dist/msvc-compatible/Lib_PrintBuffer.h
hacl-star/dist/msvc-compatible/Lib_RandomBuffer_System.c
hacl-star/dist/msvc-compatible/Lib_RandomBuffer_System.h
hacl-star/dist/msvc-compatible/Makefile
hacl-star/dist/msvc-compatible/Makefile.basic
hacl-star/dist/msvc-compatible/Makefile.include
hacl-star/dist/msvc-compatible/TestLib.h
hacl-star/dist/msvc-compatible/Vale.c
hacl-star/dist/msvc-compatible/aesgcm-ppc64le.S
hacl-star/dist/msvc-compatible/aesgcm-x86_64-darwin.S
hacl-star/dist/msvc-compatible/aesgcm-x86_64-linux.S
hacl-star/dist/msvc-compatible/aesgcm-x86_64-mingw.S
hacl-star/dist/msvc-compatible/aesgcm-x86_64-msvc.asm
hacl-star/dist/msvc-compatible/configure
hacl-star/dist/msvc-compatible/cpuid-x86_64-darwin.S
hacl-star/dist/msvc-compatible/cpuid-x86_64-linux.S
hacl-star/dist/msvc-compatible/cpuid-x86_64-mingw.S
hacl-star/dist/msvc-compatible/cpuid-x86_64-msvc.asm
hacl-star/dist/msvc-compatible/curve25519-inline.h
hacl-star/dist/msvc-compatible/curve25519-x86_64-darwin.S
hacl-star/dist/msvc-compatible/curve25519-x86_64-linux.S
hacl-star/dist/msvc-compatible/curve25519-x86_64-mingw.S
hacl-star/dist/msvc-compatible/curve25519-x86_64-msvc.asm
hacl-star/dist/msvc-compatible/evercrypt_targetconfig.h
hacl-star/dist/msvc-compatible/lib_intrinsics.h
hacl-star/dist/msvc-compatible/lib_memzero0.h
hacl-star/dist/msvc-compatible/libevercrypt.def
hacl-star/dist/msvc-compatible/libintvector-shim.h
hacl-star/dist/msvc-compatible/libintvector.h
hacl-star/dist/msvc-compatible/poly1305-x86_64-darwin.S
hacl-star/dist/msvc-compatible/poly1305-x86_64-linux.S
hacl-star/dist/msvc-compatible/poly1305-x86_64-mingw.S
hacl-star/dist/msvc-compatible/poly1305-x86_64-msvc.asm
hacl-star/dist/msvc-compatible/sha256-ppc64le.S
hacl-star/dist/msvc-compatible/sha256-x86_64-darwin.S
hacl-star/dist/msvc-compatible/sha256-x86_64-linux.S
hacl-star/dist/msvc-compatible/sha256-x86_64-mingw.S
hacl-star/dist/msvc-compatible/sha256-x86_64-msvc.asm
hacl-star/dist/msvc-compatible/clients/krmlrenamings.h
hacl-star/dist/msvc-compatible/internal/EverCrypt_AEAD.h
hacl-star/dist/msvc-compatible/internal/EverCrypt_DRBG.h
hacl-star/dist/msvc-compatible/internal/EverCrypt_HMAC.h
hacl-star/dist/msvc-compatible/internal/EverCrypt_Hash.h
hacl-star/dist/msvc-compatible/internal/Hacl_Bignum.h
hacl-star/dist/msvc-compatible/internal/Hacl_Bignum25519_51.h
hacl-star/dist/msvc-compatible/internal/Hacl_Bignum_Base.h
hacl-star/dist/msvc-compatible/internal/Hacl_Bignum_K256.h
hacl-star/dist/msvc-compatible/internal/Hacl_Chacha20.h
hacl-star/dist/msvc-compatible/internal/Hacl_Curve25519_51.h
hacl-star/dist/msvc-compatible/internal/Hacl_Ed25519.h
hacl-star/dist/msvc-compatible/internal/Hacl_Ed25519_PrecompTable.h
hacl-star/dist/msvc-compatible/internal/Hacl_Frodo_KEM.h
hacl-star/dist/msvc-compatible/internal/Hacl_HMAC.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_Blake2b.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_Blake2b_Simd256.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_Blake2s.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_Blake2s_Simd128.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_MD5.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_SHA1.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_SHA2.h
hacl-star/dist/msvc-compatible/internal/Hacl_Hash_SHA3.h
hacl-star/dist/msvc-compatible/internal/Hacl_Impl_Blake2_Constants.h
hacl-star/dist/msvc-compatible/internal/Hacl_Impl_FFDHE_Constants.h
hacl-star/dist/msvc-compatible/internal/Hacl_K256_ECDSA.h
hacl-star/dist/msvc-compatible/internal/Hacl_K256_PrecompTable.h
hacl-star/dist/msvc-compatible/internal/Hacl_Krmllib.h
hacl-star/dist/msvc-compatible/internal/Hacl_MAC_Poly1305.h
hacl-star/dist/msvc-compatible/internal/Hacl_MAC_Poly1305_Simd128.h
hacl-star/dist/msvc-compatible/internal/Hacl_MAC_Poly1305_Simd256.h
hacl-star/dist/msvc-compatible/internal/Hacl_P256.h
hacl-star/dist/msvc-compatible/internal/Hacl_P256_PrecompTable.h
hacl-star/dist/msvc-compatible/internal/Hacl_SHA2_Types.h
hacl-star/dist/msvc-compatible/internal/Hacl_Spec.h
hacl-star/dist/msvc-compatible/internal/Hacl_Streaming_HMAC.h
hacl-star/dist/msvc-compatible/internal/Hacl_Streaming_Types.h
hacl-star/dist/msvc-compatible/internal/Vale.h
src/pyhacl/__init__.py
src/pyhacl/__main__.py
src/pyhacl/drbg.c
src/pyhacl/drbg.pxd
src/pyhacl/drbg.py
src/pyhacl/hmac.c
src/pyhacl/hmac.pxd
src/pyhacl/hmac.py
src/pyhacl/streaming_types.pxd
src/pyhacl.egg-info/PKG-INFO
src/pyhacl.egg-info/SOURCES.txt
src/pyhacl.egg-info/dependency_links.txt
src/pyhacl.egg-info/requires.txt
src/pyhacl.egg-info/top_level.txt
src/pyhacl/aead/__init__.py
src/pyhacl/aead/chacha_poly1305.c
src/pyhacl/aead/chacha_poly1305.pxd
src/pyhacl/aead/chacha_poly1305.py
src/pyhacl/diffie_hellman/__init__.py
src/pyhacl/diffie_hellman/curve25519.c
src/pyhacl/diffie_hellman/curve25519.pxd
src/pyhacl/diffie_hellman/curve25519.py
src/pyhacl/hashlib/__init__.py
src/pyhacl/hashlib/sha2.c
src/pyhacl/hashlib/sha2.pxd
src/pyhacl/hashlib/sha2.py
src/pyhacl/signature/__init__.py
src/pyhacl/signature/ed25519.c
src/pyhacl/signature/ed25519.pxd
src/pyhacl/signature/ed25519.py
src/pyhacl/signature/p256.c
src/pyhacl/signature/p256.pxd
src/pyhacl/signature/p256.py
tests/test_aead.py
tests/test_diffie_hellman.py
tests/test_drbg.py
tests/test_hashlib.py
tests/test_hmac.py
tests/test_signature.py