Revision 539576ec53104316dacac738fca7bc8fd967de62 authored by Son Ho on 26 February 2021, 12:56:35 UTC, committed by Son Ho on 26 February 2021, 12:56:35 UTC
generate the target architecture #define
1 parent 7fc6186
libevercrypt.def
LIBRARY libevercrypt
EXPORTS
Spec_Cipher_Expansion_cipher_alg_of_impl
Hacl_Blake2s_32_blake2s_init
Hacl_Blake2s_32_blake2s_update_multi
Hacl_Blake2s_32_blake2s_update_last
Hacl_Blake2s_32_blake2s_finish
Hacl_Blake2s_32_blake2s
Hacl_Blake2b_32_blake2b_init
Hacl_Blake2b_32_blake2b_update_multi
Hacl_Blake2b_32_blake2b_update_last
Hacl_Blake2b_32_blake2b_finish
Hacl_Blake2b_32_blake2b
Hacl_Hash_Core_Blake2_update_blake2s_32
Hacl_Hash_Core_Blake2_finish_blake2s_32
Hacl_Hash_Core_Blake2_update_blake2b_32
Hacl_Hash_Core_Blake2_finish_blake2b_32
Hacl_Hash_Blake2_update_multi_blake2s_32
Hacl_Hash_Blake2_update_multi_blake2b_32
Hacl_Hash_Blake2_update_last_blake2s_32
Hacl_Hash_Blake2_update_last_blake2b_32
Hacl_Hash_Blake2_hash_blake2s_32
Hacl_Hash_Blake2_hash_blake2b_32
Hacl_Hash_MD5_legacy_update_multi
Hacl_Hash_MD5_legacy_update_last
Hacl_Hash_MD5_legacy_hash
Hacl_Hash_Core_MD5_legacy_init
Hacl_Hash_Core_MD5_legacy_update
Hacl_Hash_Core_MD5_legacy_pad
Hacl_Hash_Core_MD5_legacy_finish
Hacl_Hash_SHA1_legacy_update_multi
Hacl_Hash_SHA1_legacy_update_last
Hacl_Hash_SHA1_legacy_hash
Hacl_Hash_Core_SHA1_legacy_init
Hacl_Hash_Core_SHA1_legacy_update
Hacl_Hash_Core_SHA1_legacy_pad
Hacl_Hash_Core_SHA1_legacy_finish
Hacl_Hash_SHA2_update_multi_224
Hacl_Hash_SHA2_update_multi_256
Hacl_Hash_SHA2_update_multi_384
Hacl_Hash_SHA2_update_multi_512
Hacl_Hash_SHA2_update_last_224
Hacl_Hash_SHA2_update_last_256
Hacl_Hash_SHA2_update_last_384
Hacl_Hash_SHA2_update_last_512
Hacl_Hash_SHA2_hash_224
Hacl_Hash_SHA2_hash_256
Hacl_Hash_SHA2_hash_384
Hacl_Hash_SHA2_hash_512
Hacl_Hash_Core_SHA2_init_224
Hacl_Hash_Core_SHA2_init_256
Hacl_Hash_Core_SHA2_init_384
Hacl_Hash_Core_SHA2_init_512
Hacl_Hash_Core_SHA2_update_224
Hacl_Hash_Core_SHA2_update_256
Hacl_Hash_Core_SHA2_update_384
Hacl_Hash_Core_SHA2_update_512
Hacl_Hash_Core_SHA2_pad_224
Hacl_Hash_Core_SHA2_pad_256
Hacl_Hash_Core_SHA2_pad_384
Hacl_Hash_Core_SHA2_pad_512
Hacl_Hash_Core_SHA2_finish_224
Hacl_Hash_Core_SHA2_finish_256
Hacl_Hash_Core_SHA2_finish_384
Hacl_Hash_Core_SHA2_finish_512
Hacl_Hash_Definitions_word_len
Hacl_Hash_Definitions_block_len
Hacl_Hash_Definitions_hash_word_len
Hacl_Hash_Definitions_hash_len
Hacl_Hash_Blake2b_256_finish_blake2b_256
Hacl_Hash_Blake2b_256_update_multi_blake2b_256
Hacl_Hash_Blake2b_256_update_last_blake2b_256
Hacl_Hash_Blake2b_256_hash_blake2b_256
Hacl_Blake2b_256_blake2b_init
Hacl_Blake2b_256_blake2b_update_multi
Hacl_Blake2b_256_blake2b_update_last
Hacl_Blake2b_256_blake2b_finish
Hacl_Blake2b_256_blake2b
Hacl_Hash_Blake2s_128_finish_blake2s_128
Hacl_Hash_Blake2s_128_update_multi_blake2s_128
Hacl_Hash_Blake2s_128_update_last_blake2s_128
Hacl_Hash_Blake2s_128_hash_blake2s_128
Hacl_Blake2s_128_blake2s_init
Hacl_Blake2s_128_blake2s_update_multi
Hacl_Blake2s_128_blake2s_update_last
Hacl_Blake2s_128_blake2s_finish
Hacl_Blake2s_128_blake2s
EverCrypt_AutoConfig2_has_shaext
EverCrypt_AutoConfig2_has_aesni
EverCrypt_AutoConfig2_has_pclmulqdq
EverCrypt_AutoConfig2_has_avx2
EverCrypt_AutoConfig2_has_avx
EverCrypt_AutoConfig2_has_bmi2
EverCrypt_AutoConfig2_has_adx
EverCrypt_AutoConfig2_has_sse
EverCrypt_AutoConfig2_has_movbe
EverCrypt_AutoConfig2_has_rdrand
EverCrypt_AutoConfig2_has_avx512
EverCrypt_AutoConfig2_wants_vale
EverCrypt_AutoConfig2_wants_hacl
EverCrypt_AutoConfig2_wants_openssl
EverCrypt_AutoConfig2_wants_bcrypt
EverCrypt_AutoConfig2_recall
EverCrypt_AutoConfig2_init
EverCrypt_AutoConfig2_disable_avx2
EverCrypt_AutoConfig2_disable_avx
EverCrypt_AutoConfig2_disable_bmi2
EverCrypt_AutoConfig2_disable_adx
EverCrypt_AutoConfig2_disable_shaext
EverCrypt_AutoConfig2_disable_aesni
EverCrypt_AutoConfig2_disable_pclmulqdq
EverCrypt_AutoConfig2_disable_sse
EverCrypt_AutoConfig2_disable_movbe
EverCrypt_AutoConfig2_disable_rdrand
EverCrypt_AutoConfig2_disable_avx512
EverCrypt_AutoConfig2_disable_vale
EverCrypt_AutoConfig2_disable_hacl
EverCrypt_AutoConfig2_disable_openssl
EverCrypt_AutoConfig2_disable_bcrypt
EverCrypt_Hash_string_of_alg
EverCrypt_Hash_uu___is_MD5_s
EverCrypt_Hash___proj__MD5_s__item__p
EverCrypt_Hash_uu___is_SHA1_s
EverCrypt_Hash___proj__SHA1_s__item__p
EverCrypt_Hash_uu___is_SHA2_224_s
EverCrypt_Hash___proj__SHA2_224_s__item__p
EverCrypt_Hash_uu___is_SHA2_256_s
EverCrypt_Hash___proj__SHA2_256_s__item__p
EverCrypt_Hash_uu___is_SHA2_384_s
EverCrypt_Hash___proj__SHA2_384_s__item__p
EverCrypt_Hash_uu___is_SHA2_512_s
EverCrypt_Hash___proj__SHA2_512_s__item__p
EverCrypt_Hash_uu___is_Blake2S_s
EverCrypt_Hash___proj__Blake2S_s__item__p
EverCrypt_Hash_uu___is_Blake2B_s
EverCrypt_Hash___proj__Blake2B_s__item__p
EverCrypt_Hash_alg_of_state
EverCrypt_Hash_create_in
EverCrypt_Hash_create
EverCrypt_Hash_init
EverCrypt_Hash_update_multi_256
EverCrypt_Hash_update2
EverCrypt_Hash_update
EverCrypt_Hash_update_multi2
EverCrypt_Hash_update_multi
EverCrypt_Hash_update_last_256
EverCrypt_Hash_update_last2
EverCrypt_Hash_update_last
EverCrypt_Hash_finish
EverCrypt_Hash_free
EverCrypt_Hash_copy
EverCrypt_Hash_hash_256
EverCrypt_Hash_hash_224
EverCrypt_Hash_hash
EverCrypt_Hash_Incremental_hash_len
EverCrypt_Hash_Incremental_block_len
EverCrypt_Hash_Incremental_create_in
EverCrypt_Hash_Incremental_init
EverCrypt_Hash_Incremental_update
EverCrypt_Hash_Incremental_finish_md5
EverCrypt_Hash_Incremental_finish_sha1
EverCrypt_Hash_Incremental_finish_sha224
EverCrypt_Hash_Incremental_finish_sha256
EverCrypt_Hash_Incremental_finish_sha384
EverCrypt_Hash_Incremental_finish_sha512
EverCrypt_Hash_Incremental_finish_blake2s
EverCrypt_Hash_Incremental_finish_blake2b
EverCrypt_Hash_Incremental_alg_of_state
EverCrypt_Hash_Incremental_finish
EverCrypt_Hash_Incremental_free
Hacl_Impl_SHA3_rotl
Hacl_Impl_SHA3_state_permute
Hacl_Impl_SHA3_loadState
Hacl_Impl_SHA3_storeState
Hacl_Impl_SHA3_absorb
Hacl_Impl_SHA3_squeeze
Hacl_Impl_SHA3_keccak
Hacl_SHA3_shake128_hacl
Hacl_SHA3_shake256_hacl
Hacl_SHA3_sha3_224
Hacl_SHA3_sha3_256
Hacl_SHA3_sha3_384
Hacl_SHA3_sha3_512
Hacl_Impl_Chacha20_chacha20_init
Hacl_Impl_Chacha20_chacha20_encrypt_block
Hacl_Impl_Chacha20_chacha20_update
Hacl_Chacha20_chacha20_encrypt
Hacl_Chacha20_chacha20_decrypt
Hacl_Salsa20_salsa20_encrypt
Hacl_Salsa20_salsa20_decrypt
Hacl_Salsa20_salsa20_key_block0
Hacl_Salsa20_hsalsa20
Hacl_Bignum_Convert_bn_from_bytes_be_uint64
Hacl_Bignum_Convert_bn_to_bytes_be_uint64
Hacl_Bignum_Base_mul_wide_add_u64
Hacl_Bignum_Base_mul_wide_add2_u64
Hacl_Bignum_Lib_bn_get_top_index_u64
Hacl_Bignum_Addition_bn_sub_eq_len_u64
Hacl_Bignum_Addition_bn_add_eq_len_u64
Hacl_Bignum_Multiplication_bn_mul_u64
Hacl_Bignum_Multiplication_bn_sqr_u64
Hacl_Bignum_Karatsuba_bn_karatsuba_mul_uint64
Hacl_Bignum_Karatsuba_bn_karatsuba_sqr_uint64
Hacl_Bignum_bn_add_mod_n_u64
Hacl_Bignum_ModInvLimb_mod_inv_uint64
Hacl_Bignum_Montgomery_bn_precomp_r2_mod_n_u64
Hacl_Bignum_Montgomery_bn_mont_reduction_u64
Hacl_Bignum_Montgomery_bn_mont_mul_u64
Hacl_Bignum_Montgomery_bn_mont_sqr_u64
Hacl_Bignum_Exponentiation_bn_mod_exp_raw_precompr2_u64
Hacl_Bignum_Exponentiation_bn_mod_exp_fw_ct_precompr2_u64
Hacl_Curve25519_64_Slow_scalarmult
Hacl_Curve25519_64_Slow_secret_to_public
Hacl_Curve25519_64_Slow_ecdh
Hacl_Curve25519_64_scalarmult
Hacl_Curve25519_64_secret_to_public
Hacl_Curve25519_64_ecdh
Hacl_Impl_Curve25519_Field51_fadd
Hacl_Impl_Curve25519_Field51_fsub
Hacl_Impl_Curve25519_Field51_fmul
Hacl_Impl_Curve25519_Field51_fmul1
Hacl_Impl_Curve25519_Field51_fsqr
Hacl_Curve25519_51_fsquare_times
Hacl_Curve25519_51_finv
Hacl_Curve25519_51_scalarmult
Hacl_Curve25519_51_secret_to_public
Hacl_Curve25519_51_ecdh
Hacl_Bignum25519_fdifference
Hacl_Bignum25519_reduce_513
Hacl_Bignum25519_inverse
Hacl_Bignum25519_load_51
Hacl_Bignum25519_store_51
Hacl_Impl_Ed25519_PointAdd_point_add
Hacl_Impl_Ed25519_Ladder_point_mul
Hacl_Impl_Ed25519_PointCompress_point_compress
Hacl_Impl_Ed25519_PointDecompress_point_decompress
Hacl_Impl_Ed25519_PointEqual_point_equal
Hacl_Ed25519_sign
Hacl_Ed25519_verify
Hacl_Ed25519_secret_to_public
Hacl_Ed25519_expand_keys
Hacl_Ed25519_sign_expanded
Hacl_Poly1305_32_poly1305_init
Hacl_Poly1305_32_poly1305_update1
Hacl_Poly1305_32_poly1305_update
Hacl_Poly1305_32_poly1305_finish
Hacl_Poly1305_32_poly1305_mac
Hacl_Impl_Poly1305_Field32xN_128_load_acc2
Hacl_Impl_Poly1305_Field32xN_128_fmul_r2_normalize
Hacl_Poly1305_128_poly1305_init
Hacl_Poly1305_128_poly1305_update1
Hacl_Poly1305_128_poly1305_update
Hacl_Poly1305_128_poly1305_finish
Hacl_Poly1305_128_poly1305_mac
Hacl_Impl_Poly1305_Field32xN_256_load_acc4
Hacl_Impl_Poly1305_Field32xN_256_fmul_r4_normalize
Hacl_Poly1305_256_poly1305_init
Hacl_Poly1305_256_poly1305_update1
Hacl_Poly1305_256_poly1305_update
Hacl_Poly1305_256_poly1305_finish
Hacl_Poly1305_256_poly1305_mac
Hacl_NaCl_crypto_secretbox_detached
Hacl_NaCl_crypto_secretbox_open_detached
Hacl_NaCl_crypto_secretbox_easy
Hacl_NaCl_crypto_secretbox_open_easy
Hacl_NaCl_crypto_box_beforenm
Hacl_NaCl_crypto_box_detached_afternm
Hacl_NaCl_crypto_box_detached
Hacl_NaCl_crypto_box_open_detached_afternm
Hacl_NaCl_crypto_box_open_detached
Hacl_NaCl_crypto_box_easy_afternm
Hacl_NaCl_crypto_box_easy
Hacl_NaCl_crypto_box_open_easy_afternm
Hacl_NaCl_crypto_box_open_easy
EverCrypt_Error_uu___is_Success
EverCrypt_Error_uu___is_UnsupportedAlgorithm
EverCrypt_Error_uu___is_InvalidKey
EverCrypt_Error_uu___is_AuthenticationFailure
EverCrypt_Error_uu___is_InvalidIVLength
EverCrypt_Error_uu___is_DecodeError
EverCrypt_CTR_uu___is_State
EverCrypt_CTR___proj__State__item__i
EverCrypt_CTR___proj__State__item__iv
EverCrypt_CTR___proj__State__item__iv_len
EverCrypt_CTR___proj__State__item__xkey
EverCrypt_CTR___proj__State__item__ctr
EverCrypt_CTR_xor8
EverCrypt_CTR_alg_of_state
EverCrypt_CTR_create_in
EverCrypt_CTR_init
EverCrypt_CTR_update_block
EverCrypt_CTR_free
Hacl_Impl_P256_LowLevel_toUint8
Hacl_Impl_P256_LowLevel_changeEndian
Hacl_Impl_P256_LowLevel_toUint64ChangeEndian
Hacl_Impl_P256_Core_isPointAtInfinityPrivate
Hacl_Impl_P256_Core_secretToPublic
Hacl_Impl_P256_DH__ecp256dh_r
Hacl_P256_ecdsa_sign_p256_sha2
Hacl_P256_ecdsa_sign_p256_sha384
Hacl_P256_ecdsa_sign_p256_sha512
Hacl_P256_ecdsa_sign_p256_without_hash
Hacl_P256_ecdsa_verif_p256_sha2
Hacl_P256_ecdsa_verif_p256_sha384
Hacl_P256_ecdsa_verif_p256_sha512
Hacl_P256_ecdsa_verif_without_hash
Hacl_P256_verify_q
Hacl_P256_decompression_not_compressed_form
Hacl_P256_decompression_compressed_form
Hacl_P256_compression_not_compressed_form
Hacl_P256_compression_compressed_form
Hacl_P256_ecp256dh_i
Hacl_P256_ecp256dh_r
Hacl_P256_is_more_than_zero_less_than_order
Hacl_Keccak_shake128_4x
Hacl_Impl_Matrix_mod_pow2
Hacl_Impl_Matrix_matrix_add
Hacl_Impl_Matrix_matrix_sub
Hacl_Impl_Matrix_matrix_mul
Hacl_Impl_Matrix_matrix_mul_s
Hacl_Impl_Matrix_matrix_eq
Hacl_Impl_Matrix_matrix_to_lbytes
Hacl_Impl_Matrix_matrix_from_lbytes
Hacl_Impl_Frodo_Gen_frodo_gen_matrix_shake_4x
Hacl_Impl_Frodo_Params_frodo_gen_matrix
Hacl_Impl_Frodo_Sample_frodo_sample_matrix64
Hacl_Impl_Frodo_Sample_frodo_sample_matrix640
Hacl_Impl_Frodo_Sample_frodo_sample_matrix976
Hacl_Impl_Frodo_Sample_frodo_sample_matrix1344
randombytes_
Hacl_Impl_Frodo_Pack_frodo_pack
Hacl_Impl_Frodo_Pack_frodo_unpack
Hacl_Impl_Frodo_Encode_frodo_key_encode
Hacl_Impl_Frodo_Encode_frodo_key_decode
Hacl_IntTypes_Intrinsics_add_carry_u32
Hacl_IntTypes_Intrinsics_add_carry_u64
Hacl_IntTypes_Intrinsics_sub_borrow_u32
Hacl_IntTypes_Intrinsics_sub_borrow_u64
Hacl_Impl_RSAPSS_MGF_hash_len
Hacl_Impl_RSAPSS_Keys_check_modulus_u64
Hacl_Impl_RSAPSS_Keys_check_exponent_u64
Hacl_Impl_RSAPSS_Padding_pss_encode
Hacl_Impl_RSAPSS_Padding_pss_verify
Hacl_RSAPSS_rsapss_sign
Hacl_RSAPSS_rsapss_verify
Hacl_RSAPSS_new_rsapss_load_pkey
Hacl_RSAPSS_new_rsapss_load_skey
Hacl_RSAPSS_rsapss_skey_sign
Hacl_RSAPSS_rsapss_pkey_verify
Hacl_Impl_FFDHE_ffdhe_len
Hacl_FFDHE_ffdhe_len
Hacl_FFDHE_new_ffdhe_precomp_p
Hacl_FFDHE_ffdhe_secret_to_public_precomp
Hacl_FFDHE_ffdhe_secret_to_public
Hacl_FFDHE_ffdhe_shared_secret_precomp
Hacl_FFDHE_ffdhe_shared_secret
Hacl_Streaming_Blake2_blocks_state_len
Hacl_Streaming_Blake2_blake2s_32_no_key_create_in
Hacl_Streaming_Blake2_blake2s_32_no_key_init
Hacl_Streaming_Blake2_blake2s_32_no_key_update
Hacl_Streaming_Blake2_blake2s_32_no_key_finish
Hacl_Streaming_Blake2_blake2s_32_no_key_free
Hacl_Streaming_Blake2_blake2b_32_no_key_create_in
Hacl_Streaming_Blake2_blake2b_32_no_key_init
Hacl_Streaming_Blake2_blake2b_32_no_key_update
Hacl_Streaming_Blake2_blake2b_32_no_key_finish
Hacl_Streaming_Blake2_blake2b_32_no_key_free
Hacl_Streaming_Blake2_blake2s_32_with_key_create_in
Hacl_Streaming_Blake2_blake2s_32_with_key_init
Hacl_Streaming_Blake2_blake2s_32_with_key_update
Hacl_Streaming_Blake2_blake2s_32_with_key_finish
Hacl_Streaming_Blake2_blake2s_32_with_key_free
Hacl_Streaming_Blake2_blake2b_32_with_key_create_in
Hacl_Streaming_Blake2_blake2b_32_with_key_init
Hacl_Streaming_Blake2_blake2b_32_with_key_update
Hacl_Streaming_Blake2_blake2b_32_with_key_finish
Hacl_Streaming_Blake2_blake2b_32_with_key_free
Hacl_Streaming_Blake2b_256_blake2b_256_no_key_create_in
Hacl_Streaming_Blake2b_256_blake2b_256_no_key_init
Hacl_Streaming_Blake2b_256_blake2b_256_no_key_update
Hacl_Streaming_Blake2b_256_blake2b_256_no_key_finish
Hacl_Streaming_Blake2b_256_blake2b_256_no_key_free
Hacl_Streaming_Blake2b_256_blake2b_256_with_key_create_in
Hacl_Streaming_Blake2b_256_blake2b_256_with_key_init
Hacl_Streaming_Blake2b_256_blake2b_256_with_key_update
Hacl_Streaming_Blake2b_256_blake2b_256_with_key_finish
Hacl_Streaming_Blake2b_256_blake2b_256_with_key_free
Hacl_Streaming_SHA2_create_in_224
LowStar_BufferOps_op_Bang_Star__Hacl_Streaming_Functor_state_s__uint32_t_____LowStar_Buffer_trivial_preorder_Hacl_Streaming_Functor_state_s__uint32_t___________LowStar_Buffer_trivial_preorder_Hacl_Streaming_Functor_state_s__uint32_t__________
Hacl_Streaming_SHA2_init_224
LowStar_BufferOps_op_Star_Equals__Hacl_Streaming_Functor_state_s__uint32_t_____LowStar_Buffer_trivial_preorder_Hacl_Streaming_Functor_state_s__uint32_t___________LowStar_Buffer_trivial_preorder_Hacl_Streaming_Functor_state_s__uint32_t__________
Hacl_Streaming_SHA2_update_224
Hacl_Streaming_SHA2_finish_224
Hacl_Streaming_SHA2_free_224
Hacl_Streaming_SHA2_create_in_256
Hacl_Streaming_SHA2_init_256
Hacl_Streaming_SHA2_update_256
Hacl_Streaming_SHA2_finish_256
Hacl_Streaming_SHA2_free_256
Hacl_Streaming_SHA2_create_in_384
Hacl_Streaming_SHA2_init_384
Hacl_Streaming_SHA2_update_384
Hacl_Streaming_SHA2_finish_384
Hacl_Streaming_SHA2_free_384
Hacl_Streaming_SHA2_create_in_512
Hacl_Streaming_SHA2_init_512
Hacl_Streaming_SHA2_update_512
Hacl_Streaming_SHA2_finish_512
Hacl_Streaming_SHA2_free_512
Hacl_Frodo640_crypto_kem_keypair
Hacl_Frodo640_crypto_kem_enc
Hacl_Frodo640_crypto_kem_dec
Hacl_Streaming_Blake2s_128_blake2s_128_no_key_create_in
Hacl_Streaming_Blake2s_128_blake2s_128_no_key_init
Hacl_Streaming_Blake2s_128_blake2s_128_no_key_update
Hacl_Streaming_Blake2s_128_blake2s_128_no_key_finish
Hacl_Streaming_Blake2s_128_blake2s_128_no_key_free
Hacl_Streaming_Blake2s_128_blake2s_128_with_key_create_in
Hacl_Streaming_Blake2s_128_blake2s_128_with_key_init
Hacl_Streaming_Blake2s_128_blake2s_128_with_key_update
Hacl_Streaming_Blake2s_128_blake2s_128_with_key_finish
Hacl_Streaming_Blake2s_128_blake2s_128_with_key_free
Hacl_Chacha20_Vec128_chacha20_encrypt_128
Hacl_Chacha20_Vec128_chacha20_decrypt_128
Hacl_Chacha20Poly1305_128_aead_encrypt
Hacl_Chacha20Poly1305_128_aead_decrypt
Hacl_HMAC_legacy_compute_sha1
Hacl_HMAC_compute_sha2_256
Hacl_HMAC_compute_sha2_384
Hacl_HMAC_compute_sha2_512
Hacl_HMAC_compute_blake2s_32
Hacl_HMAC_compute_blake2b_32
Hacl_HKDF_expand_sha2_256
Hacl_HKDF_extract_sha2_256
Hacl_HKDF_expand_sha2_512
Hacl_HKDF_extract_sha2_512
Hacl_HKDF_expand_blake2s_32
Hacl_HKDF_extract_blake2s_32
Hacl_HKDF_expand_blake2b_32
Hacl_HKDF_extract_blake2b_32
Hacl_HPKE_Curve51_CP128_SHA512_setupBaseI
Hacl_HPKE_Curve51_CP128_SHA512_setupBaseR
Hacl_HPKE_Curve51_CP128_SHA512_sealBase
Hacl_HPKE_Curve51_CP128_SHA512_openBase
Hacl_Bignum256_add
Hacl_Bignum256_sub
Hacl_Bignum256_mul
Hacl_Bignum256_mod_precompr2
Hacl_Bignum256_mod
Hacl_Bignum256_mod_exp_raw_precompr2
Hacl_Bignum256_mod_exp_ct_precompr2
Hacl_Bignum256_mod_exp_raw
Hacl_Bignum256_mod_exp_ct
Hacl_Bignum256_new_precompr2
Hacl_Bignum256_mod_inv_prime_raw
Hacl_Bignum256_new_bn_from_bytes_be
Hacl_Bignum256_bn_to_bytes_be
Hacl_Bignum256_lt_mask
Hacl_Bignum4096_add
Hacl_Bignum4096_sub
Hacl_Bignum4096_mul
Hacl_Bignum4096_mod_precompr2
Hacl_Bignum4096_mod
Hacl_Bignum4096_mod_exp_raw_precompr2
Hacl_Bignum4096_mod_exp_ct_precompr2
Hacl_Bignum4096_mod_exp_raw
Hacl_Bignum4096_mod_exp_ct
Hacl_Bignum4096_new_precompr2
Hacl_Bignum4096_mod_inv_prime_raw
Hacl_Bignum4096_new_bn_from_bytes_be
Hacl_Bignum4096_bn_to_bytes_be
Hacl_Bignum4096_lt_mask
Hacl_Chacha20_Vec32_chacha20_encrypt_32
Hacl_Chacha20_Vec32_chacha20_decrypt_32
EverCrypt_Ed25519_sign
EverCrypt_Ed25519_verify
EverCrypt_Ed25519_secret_to_public
EverCrypt_Ed25519_expand_keys
EverCrypt_Ed25519_sign_expanded
Hacl_HPKE_Curve64_CP128_SHA512_setupBaseI
Hacl_HPKE_Curve64_CP128_SHA512_setupBaseR
Hacl_HPKE_Curve64_CP128_SHA512_sealBase
Hacl_HPKE_Curve64_CP128_SHA512_openBase
Hacl_FFDHE4096_new_ffdhe_precomp_p
Hacl_FFDHE4096_ffdhe_secret_to_public_precomp
Hacl_FFDHE4096_ffdhe_secret_to_public
Hacl_FFDHE4096_ffdhe_shared_secret_precomp
Hacl_FFDHE4096_ffdhe_shared_secret
Hacl_HPKE_P256_CP128_SHA256_setupBaseI
Hacl_HPKE_P256_CP128_SHA256_setupBaseR
Hacl_HPKE_P256_CP128_SHA256_sealBase
Hacl_HPKE_P256_CP128_SHA256_openBase
Hacl_Chacha20_Vec256_chacha20_encrypt_256
Hacl_Chacha20_Vec256_chacha20_decrypt_256
Hacl_Chacha20Poly1305_256_aead_encrypt
Hacl_Chacha20Poly1305_256_aead_decrypt
Hacl_HPKE_Curve51_CP256_SHA512_setupBaseI
Hacl_HPKE_Curve51_CP256_SHA512_setupBaseR
Hacl_HPKE_Curve51_CP256_SHA512_sealBase
Hacl_HPKE_Curve51_CP256_SHA512_openBase
Hacl_Frodo976_crypto_kem_keypair
Hacl_Frodo976_crypto_kem_enc
Hacl_Frodo976_crypto_kem_dec
Hacl_HMAC_Blake2s_128_compute_blake2s_128
Hacl_HKDF_Blake2s_128_expand_blake2s_128
Hacl_HKDF_Blake2s_128_extract_blake2s_128
Hacl_Streaming_Poly1305_256_create_in
Hacl_Streaming_Poly1305_256_init
Hacl_Streaming_Poly1305_256_update
Hacl_Streaming_Poly1305_256_finish
Hacl_Streaming_Poly1305_256_free
Hacl_Frodo1344_crypto_kem_keypair
Hacl_Frodo1344_crypto_kem_enc
Hacl_Frodo1344_crypto_kem_dec
Hacl_HPKE_Curve64_CP256_SHA512_setupBaseI
Hacl_HPKE_Curve64_CP256_SHA512_setupBaseR
Hacl_HPKE_Curve64_CP256_SHA512_sealBase
Hacl_HPKE_Curve64_CP256_SHA512_openBase
Hacl_Streaming_Poly1305_128_create_in
Hacl_Streaming_Poly1305_128_init
Hacl_Streaming_Poly1305_128_update
Hacl_Streaming_Poly1305_128_finish
Hacl_Streaming_Poly1305_128_free
Hacl_HPKE_Curve51_CP128_SHA256_setupBaseI
Hacl_HPKE_Curve51_CP128_SHA256_setupBaseR
Hacl_HPKE_Curve51_CP128_SHA256_sealBase
Hacl_HPKE_Curve51_CP128_SHA256_openBase
Hacl_HPKE_Curve64_CP128_SHA256_setupBaseI
Hacl_HPKE_Curve64_CP128_SHA256_setupBaseR
Hacl_HPKE_Curve64_CP128_SHA256_sealBase
Hacl_HPKE_Curve64_CP128_SHA256_openBase
Hacl_Chacha20Poly1305_32_aead_encrypt
Hacl_Chacha20Poly1305_32_aead_decrypt
Hacl_HPKE_Curve51_CP32_SHA256_setupBaseI
Hacl_HPKE_Curve51_CP32_SHA256_setupBaseR
Hacl_HPKE_Curve51_CP32_SHA256_sealBase
Hacl_HPKE_Curve51_CP32_SHA256_openBase
Hacl_HPKE_Curve64_CP256_SHA256_setupBaseI
Hacl_HPKE_Curve64_CP256_SHA256_setupBaseR
Hacl_HPKE_Curve64_CP256_SHA256_sealBase
Hacl_HPKE_Curve64_CP256_SHA256_openBase
Hacl_Streaming_Poly1305_32_create_in
Hacl_Streaming_Poly1305_32_init
Hacl_Streaming_Poly1305_32_update
Hacl_Streaming_Poly1305_32_finish
Hacl_Streaming_Poly1305_32_free
Hacl_HPKE_Curve51_CP32_SHA512_setupBaseI
Hacl_HPKE_Curve51_CP32_SHA512_setupBaseR
Hacl_HPKE_Curve51_CP32_SHA512_sealBase
Hacl_HPKE_Curve51_CP32_SHA512_openBase
Hacl_HPKE_P256_CP256_SHA256_setupBaseI
Hacl_HPKE_P256_CP256_SHA256_setupBaseR
Hacl_HPKE_P256_CP256_SHA256_sealBase
Hacl_HPKE_P256_CP256_SHA256_openBase
Hacl_HPKE_P256_CP32_SHA256_setupBaseI
Hacl_HPKE_P256_CP32_SHA256_setupBaseR
Hacl_HPKE_P256_CP32_SHA256_sealBase
Hacl_HPKE_P256_CP32_SHA256_openBase
Hacl_Frodo64_crypto_kem_keypair
Hacl_Frodo64_crypto_kem_enc
Hacl_Frodo64_crypto_kem_dec
Hacl_Streaming_SHA1_legacy_create_in_sha1
Hacl_Streaming_SHA1_legacy_init_sha1
Hacl_Streaming_SHA1_legacy_update_sha1
Hacl_Streaming_SHA1_legacy_finish_sha1
Hacl_Streaming_SHA1_legacy_free_sha1
Hacl_Streaming_MD5_legacy_create_in_md5
Hacl_Streaming_MD5_legacy_init_md5
Hacl_Streaming_MD5_legacy_update_md5
Hacl_Streaming_MD5_legacy_finish_md5
Hacl_Streaming_MD5_legacy_free_md5
Hacl_HMAC_Blake2b_256_compute_blake2b_256
Hacl_HKDF_Blake2b_256_expand_blake2b_256
Hacl_HKDF_Blake2b_256_extract_blake2b_256
Hacl_HPKE_Curve64_CP32_SHA256_setupBaseI
Hacl_HPKE_Curve64_CP32_SHA256_setupBaseR
Hacl_HPKE_Curve64_CP32_SHA256_sealBase
Hacl_HPKE_Curve64_CP32_SHA256_openBase
Hacl_HPKE_Curve64_CP32_SHA512_setupBaseI
Hacl_HPKE_Curve64_CP32_SHA512_setupBaseR
Hacl_HPKE_Curve64_CP32_SHA512_sealBase
Hacl_HPKE_Curve64_CP32_SHA512_openBase
Hacl_RSAPSS2048_SHA256_rsapss_sign
Hacl_RSAPSS2048_SHA256_rsapss_verify
Hacl_RSAPSS2048_SHA256_new_rsapss_load_pkey
Hacl_RSAPSS2048_SHA256_new_rsapss_load_skey
Hacl_RSAPSS2048_SHA256_rsapss_skey_sign
Hacl_RSAPSS2048_SHA256_rsapss_pkey_verify
Hacl_EC_Ed25519_mk_felem_zero
Hacl_EC_Ed25519_mk_felem_one
Hacl_EC_Ed25519_felem_add
Hacl_EC_Ed25519_felem_sub
Hacl_EC_Ed25519_felem_mul
Hacl_EC_Ed25519_felem_inv
Hacl_EC_Ed25519_felem_load
Hacl_EC_Ed25519_felem_store
Hacl_EC_Ed25519_mk_point_at_inf
Hacl_EC_Ed25519_mk_base_point
Hacl_EC_Ed25519_point_negate
Hacl_EC_Ed25519_point_add
Hacl_EC_Ed25519_point_mul
Hacl_EC_Ed25519_point_eq
Hacl_EC_Ed25519_point_compress
Hacl_EC_Ed25519_point_decompress
Hacl_HPKE_Curve51_CP256_SHA256_setupBaseI
Hacl_HPKE_Curve51_CP256_SHA256_setupBaseR
Hacl_HPKE_Curve51_CP256_SHA256_sealBase
Hacl_HPKE_Curve51_CP256_SHA256_openBase
EverCrypt_Chacha20Poly1305_aead_encrypt
EverCrypt_Chacha20Poly1305_aead_decrypt
EverCrypt_AEAD_uu___is_Ek
EverCrypt_AEAD___proj__Ek__item__impl
EverCrypt_AEAD___proj__Ek__item__ek
EverCrypt_AEAD_alg_of_state
EverCrypt_AEAD_create_in
EverCrypt_AEAD_encrypt
EverCrypt_AEAD_encrypt_expand_aes128_gcm
EverCrypt_AEAD_encrypt_expand_aes256_gcm
EverCrypt_AEAD_encrypt_expand_chacha20_poly1305
EverCrypt_AEAD_encrypt_expand
EverCrypt_AEAD_decrypt
EverCrypt_AEAD_decrypt_expand_aes128_gcm
EverCrypt_AEAD_decrypt_expand_aes256_gcm
EverCrypt_AEAD_decrypt_expand_chacha20_poly1305
EverCrypt_AEAD_decrypt_expand
EverCrypt_AEAD_free
EverCrypt_HMAC_compute_sha1
EverCrypt_HMAC_compute_sha2_256
EverCrypt_HMAC_compute_sha2_384
EverCrypt_HMAC_compute_sha2_512
EverCrypt_HMAC_compute_blake2s
EverCrypt_HMAC_compute_blake2b
EverCrypt_HMAC_is_supported_alg
EverCrypt_HMAC_compute
EverCrypt_HKDF_expand_sha1
EverCrypt_HKDF_extract_sha1
EverCrypt_HKDF_expand_sha2_256
EverCrypt_HKDF_extract_sha2_256
EverCrypt_HKDF_expand_sha2_384
EverCrypt_HKDF_extract_sha2_384
EverCrypt_HKDF_expand_sha2_512
EverCrypt_HKDF_extract_sha2_512
EverCrypt_HKDF_expand_blake2s
EverCrypt_HKDF_extract_blake2s
EverCrypt_HKDF_expand_blake2b
EverCrypt_HKDF_extract_blake2b
EverCrypt_HKDF_expand
EverCrypt_HKDF_extract
EverCrypt_HKDF_hkdf_expand
EverCrypt_HKDF_hkdf_extract
Hacl_HMAC_DRBG_min_length
Hacl_HMAC_DRBG_uu___is_State
Hacl_HMAC_DRBG___proj__State__item__k
Hacl_HMAC_DRBG___proj__State__item__v
Hacl_HMAC_DRBG___proj__State__item__reseed_counter
Hacl_HMAC_DRBG_create_in
Hacl_HMAC_DRBG_instantiate
Hacl_HMAC_DRBG_reseed
Hacl_HMAC_DRBG_generate
EverCrypt_DRBG_min_length
EverCrypt_DRBG_uu___is_SHA1_s
EverCrypt_DRBG___proj__SHA1_s__item___0
EverCrypt_DRBG_uu___is_SHA2_256_s
EverCrypt_DRBG___proj__SHA2_256_s__item___0
EverCrypt_DRBG_uu___is_SHA2_384_s
EverCrypt_DRBG___proj__SHA2_384_s__item___0
EverCrypt_DRBG_uu___is_SHA2_512_s
EverCrypt_DRBG___proj__SHA2_512_s__item___0
EverCrypt_DRBG_create
EverCrypt_DRBG_instantiate_sha1
EverCrypt_DRBG_instantiate_sha2_256
EverCrypt_DRBG_instantiate_sha2_384
EverCrypt_DRBG_instantiate_sha2_512
EverCrypt_DRBG_reseed_sha1
EverCrypt_DRBG_reseed_sha2_256
EverCrypt_DRBG_reseed_sha2_384
EverCrypt_DRBG_reseed_sha2_512
EverCrypt_DRBG_generate_sha1
EverCrypt_DRBG_generate_sha2_256
EverCrypt_DRBG_generate_sha2_384
EverCrypt_DRBG_generate_sha2_512
EverCrypt_DRBG_uninstantiate_sha1
EverCrypt_DRBG_uninstantiate_sha2_256
EverCrypt_DRBG_uninstantiate_sha2_384
EverCrypt_DRBG_uninstantiate_sha2_512
EverCrypt_DRBG_instantiate
EverCrypt_DRBG_reseed
EverCrypt_DRBG_generate
EverCrypt_DRBG_uninstantiate
EverCrypt_Poly1305_poly1305
EverCrypt_Curve25519_secret_to_public
EverCrypt_Curve25519_scalarmult
EverCrypt_Curve25519_ecdh
EverCrypt_Cipher_chacha20
__proj__Mkgcm_args__item__plain
__proj__Mkgcm_args__item__plain_len
__proj__Mkgcm_args__item__aad
__proj__Mkgcm_args__item__aad_len
__proj__Mkgcm_args__item__iv
__proj__Mkgcm_args__item__expanded_key
__proj__Mkgcm_args__item__cipher
__proj__Mkgcm_args__item__tag
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...