Index of /src/evercrypt-sys-0.0.9/hacl-star/dist/c89-compatible/
../
internal/ 14-Apr-2024 10:26 -
EverCrypt_AEAD.c 29-Nov-1973 21:33 73198
EverCrypt_AEAD.h 29-Nov-1973 21:33 6698
EverCrypt_AutoConfig2.c 29-Nov-1973 21:33 7204
EverCrypt_AutoConfig2.h 29-Nov-1973 21:33 3089
EverCrypt_CTR.c 29-Nov-1973 21:33 12765
EverCrypt_CTR.h 29-Nov-1973 21:33 2461
EverCrypt_Chacha20Poly1305.c 29-Nov-1973 21:33 2761
EverCrypt_Chacha20Poly1305.h 29-Nov-1973 21:33 2086
EverCrypt_Cipher.c 29-Nov-1973 21:33 1507
EverCrypt_Cipher.h 29-Nov-1973 21:33 1676
EverCrypt_Curve25519.c 29-Nov-1973 21:33 2213
EverCrypt_Curve25519.h 29-Nov-1973 21:33 1912
EverCrypt_DRBG.c 29-Nov-1973 21:33 99598
EverCrypt_DRBG.h 29-Nov-1973 21:33 5453
EverCrypt_Ed25519.c 29-Nov-1973 21:33 1900
EverCrypt_Ed25519.h 29-Nov-1973 21:33 2009
EverCrypt_Error.c 29-Nov-1973 21:33 2665
EverCrypt_Error.h 29-Nov-1973 21:33 2339
EverCrypt_HKDF.c 29-Nov-1973 21:33 14947
EverCrypt_HKDF.h 29-Nov-1973 21:33 3935
EverCrypt_HMAC.c 29-Nov-1973 21:33 34874
EverCrypt_HMAC.h 29-Nov-1973 21:33 2795
EverCrypt_Hacl.h 29-Nov-1973 21:33 2465
EverCrypt_Hash.c 29-Nov-1973 21:33 61393
EverCrypt_Hash.h 29-Nov-1973 21:33 7591
EverCrypt_Helpers.h 29-Nov-1973 21:33 1917
EverCrypt_Poly1305.c 29-Nov-1973 21:33 3130
EverCrypt_Poly1305.h 29-Nov-1973 21:33 1769
EverCrypt_StaticConfig.c 29-Nov-1973 21:33 1376
EverCrypt_StaticConfig.h 29-Nov-1973 21:33 1737
EverCrypt_Vale.h 29-Nov-1973 21:33 2348
Hacl_AES128.h 29-Nov-1973 21:33 1720
Hacl_Bignum.c 29-Nov-1973 21:33 116706
Hacl_Bignum25519_51.h 29-Nov-1973 21:33 31357
Hacl_Bignum256.c 29-Nov-1973 21:33 65498
Hacl_Bignum256.h 29-Nov-1973 21:33 12353
Hacl_Bignum256_32.c 29-Nov-1973 21:33 65095
Hacl_Bignum256_32.h 29-Nov-1973 21:33 12319
Hacl_Bignum32.c 29-Nov-1973 21:33 32716
Hacl_Bignum32.h 29-Nov-1973 21:33 12259
Hacl_Bignum4096.c 29-Nov-1973 21:33 58790
Hacl_Bignum4096.h 29-Nov-1973 21:33 12466
Hacl_Bignum4096_32.c 29-Nov-1973 21:33 58655
Hacl_Bignum4096_32.h 29-Nov-1973 21:33 12558
Hacl_Bignum64.c 29-Nov-1973 21:33 32932
Hacl_Bignum64.h 29-Nov-1973 21:33 12254
Hacl_Bignum_Base.h 29-Nov-1973 21:33 2717
Hacl_Chacha20.c 29-Nov-1973 21:33 7228
Hacl_Chacha20.h 29-Nov-1973 21:33 1834
Hacl_Chacha20Poly1305_128.c 29-Nov-1973 21:33 65354
Hacl_Chacha20Poly1305_128.h 29-Nov-1973 21:33 2021
Hacl_Chacha20Poly1305_256.c 29-Nov-1973 21:33 65737
Hacl_Chacha20Poly1305_256.h 29-Nov-1973 21:33 2021
Hacl_Chacha20Poly1305_32.c 29-Nov-1973 21:33 21483
Hacl_Chacha20Poly1305_32.h 29-Nov-1973 21:33 2008
Hacl_Chacha20_Vec128.c 29-Nov-1973 21:33 44376
Hacl_Chacha20_Vec128.h 29-Nov-1973 21:33 1877
Hacl_Chacha20_Vec256.c 29-Nov-1973 21:33 66444
Hacl_Chacha20_Vec256.h 29-Nov-1973 21:33 1877
Hacl_Chacha20_Vec32.c 29-Nov-1973 21:33 11049
Hacl_Chacha20_Vec32.h 29-Nov-1973 21:33 1870
Hacl_Curve25519_51.c 29-Nov-1973 21:33 11073
Hacl_Curve25519_51.h 29-Nov-1973 21:33 1836
Hacl_Curve25519_64.c 29-Nov-1973 21:33 11799
Hacl_Curve25519_64.h 29-Nov-1973 21:33 1834
Hacl_Curve25519_64_Slow.c 29-Nov-1973 21:33 32934
Hacl_Curve25519_64_Slow.h 29-Nov-1973 21:33 1863
Hacl_EC_Ed25519.c 29-Nov-1973 21:33 4890
Hacl_EC_Ed25519.h 29-Nov-1973 21:33 2614
Hacl_Ed25519.c 29-Nov-1973 21:33 62722
Hacl_Ed25519.h 29-Nov-1973 21:33 2051
Hacl_FFDHE.c 29-Nov-1973 21:33 11457
Hacl_FFDHE.h 29-Nov-1973 21:33 2178
Hacl_Frodo1344.c 29-Nov-1973 21:33 16032
Hacl_Frodo1344.h 29-Nov-1973 21:33 2082
Hacl_Frodo64.c 29-Nov-1973 21:33 15770
Hacl_Frodo64.h 29-Nov-1973 21:33 2120
Hacl_Frodo640.c 29-Nov-1973 21:33 15908
Hacl_Frodo640.h 29-Nov-1973 21:33 2072
Hacl_Frodo976.c 29-Nov-1973 21:33 15923
Hacl_Frodo976.h 29-Nov-1973 21:33 2072
Hacl_Frodo_KEM.c 29-Nov-1973 21:33 1312
Hacl_Frodo_KEM.h 29-Nov-1973 21:33 18341
Hacl_GenericField32.c 29-Nov-1973 21:33 23798
Hacl_GenericField32.h 29-Nov-1973 21:33 8612
Hacl_GenericField64.c 29-Nov-1973 21:33 23860
Hacl_GenericField64.h 29-Nov-1973 21:33 8468
Hacl_HKDF.c 29-Nov-1973 21:33 8313
Hacl_HKDF.h 29-Nov-1973 21:33 2607
Hacl_HKDF_Blake2b_256.c 29-Nov-1973 21:33 3288
Hacl_HKDF_Blake2b_256.h 29-Nov-1973 21:33 1888
Hacl_HKDF_Blake2s_128.c 29-Nov-1973 21:33 3288
Hacl_HKDF_Blake2s_128.h 29-Nov-1973 21:33 1888
Hacl_HMAC.c 29-Nov-1973 21:33 33023
Hacl_HMAC.h 29-Nov-1973 21:33 2409
Hacl_HMAC_Blake2b_256.c 29-Nov-1973 21:33 11487
Hacl_HMAC_Blake2b_256.h 29-Nov-1973 21:33 1767
Hacl_HMAC_Blake2s_128.c 29-Nov-1973 21:33 10946
Hacl_HMAC_Blake2s_128.h 29-Nov-1973 21:33 1741
Hacl_HMAC_DRBG.c 29-Nov-1973 21:33 55766
Hacl_HMAC_DRBG.h 29-Nov-1973 21:33 2987
Hacl_HPKE_Curve51_CP128_SHA256.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve51_CP128_SHA256.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve51_CP128_SHA512.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve51_CP128_SHA512.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve51_CP256_SHA256.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve51_CP256_SHA256.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve51_CP256_SHA512.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve51_CP256_SHA512.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve51_CP32_SHA256.c 29-Nov-1973 21:33 12387
Hacl_HPKE_Curve51_CP32_SHA256.h 29-Nov-1973 21:33 2391
Hacl_HPKE_Curve51_CP32_SHA512.c 29-Nov-1973 21:33 12387
Hacl_HPKE_Curve51_CP32_SHA512.h 29-Nov-1973 21:33 2391
Hacl_HPKE_Curve64_CP128_SHA256.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve64_CP128_SHA256.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve64_CP128_SHA512.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve64_CP128_SHA512.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve64_CP256_SHA256.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve64_CP256_SHA256.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve64_CP256_SHA512.c 29-Nov-1973 21:33 12396
Hacl_HPKE_Curve64_CP256_SHA512.h 29-Nov-1973 21:33 2399
Hacl_HPKE_Curve64_CP32_SHA256.c 29-Nov-1973 21:33 12387
Hacl_HPKE_Curve64_CP32_SHA256.h 29-Nov-1973 21:33 2391
Hacl_HPKE_Curve64_CP32_SHA512.c 29-Nov-1973 21:33 12387
Hacl_HPKE_Curve64_CP32_SHA512.h 29-Nov-1973 21:33 2391
Hacl_HPKE_P256_CP128_SHA256.c 29-Nov-1973 21:33 14916
Hacl_HPKE_P256_CP128_SHA256.h 29-Nov-1973 21:33 2346
Hacl_HPKE_P256_CP256_SHA256.c 29-Nov-1973 21:33 14916
Hacl_HPKE_P256_CP256_SHA256.h 29-Nov-1973 21:33 2346
Hacl_HPKE_P256_CP32_SHA256.c 29-Nov-1973 21:33 14907
Hacl_HPKE_P256_CP32_SHA256.h 29-Nov-1973 21:33 2338
Hacl_Hash_Base.c 29-Nov-1973 21:33 4903
Hacl_Hash_Base.h 29-Nov-1973 21:33 1872
Hacl_Hash_Blake2.c 29-Nov-1973 21:33 321974
Hacl_Hash_Blake2.h 29-Nov-1973 21:33 3217
Hacl_Hash_Blake2b_256.c 29-Nov-1973 21:33 73155
Hacl_Hash_Blake2b_256.h 29-Nov-1973 21:33 2574
Hacl_Hash_Blake2s_128.c 29-Nov-1973 21:33 72042
Hacl_Hash_Blake2s_128.h 29-Nov-1973 21:33 2548
Hacl_Hash_MD5.c 29-Nov-1973 21:33 38633
Hacl_Hash_MD5.h 29-Nov-1973 21:33 1853
Hacl_Hash_SHA1.c 29-Nov-1973 21:33 7114
Hacl_Hash_SHA1.h 29-Nov-1973 21:33 1859
Hacl_Hash_SHA2.c 29-Nov-1973 21:33 30402
Hacl_Hash_SHA2.h 29-Nov-1973 21:33 2731
Hacl_Impl_Blake2_Constants.h 29-Nov-1973 21:33 4647
Hacl_Impl_FFDHE_Constants.h 29-Nov-1973 21:33 51109
Hacl_IntTypes_Intrinsics.h 29-Nov-1973 21:33 2720
Hacl_IntTypes_Intrinsics_128.h 29-Nov-1973 21:33 2599
Hacl_Kremlib.h 29-Nov-1973 21:33 3042
Hacl_NaCl.c 29-Nov-1973 21:33 9573
Hacl_NaCl.h 29-Nov-1973 21:33 3293
Hacl_P256.c 29-Nov-1973 21:33 111764
Hacl_P256.h 29-Nov-1973 21:33 11437
Hacl_Poly1305_128.c 29-Nov-1973 21:33 84697
Hacl_Poly1305_128.h 29-Nov-1973 21:33 2205
Hacl_Poly1305_256.c 29-Nov-1973 21:33 109341
Hacl_Poly1305_256.h 29-Nov-1973 21:33 2205
Hacl_Poly1305_32.c 29-Nov-1973 21:33 20016
Hacl_Poly1305_32.h 29-Nov-1973 21:33 2064
Hacl_RSAPSS.c 29-Nov-1973 21:33 31156
Hacl_RSAPSS.h 29-Nov-1973 21:33 2785
Hacl_SHA2_Generic.h 29-Nov-1973 21:33 6977
Hacl_SHA2_Scalar32.c 29-Nov-1973 21:33 29496
Hacl_SHA2_Scalar32.h 29-Nov-1973 21:33 1940
Hacl_SHA2_Vec128.c 29-Nov-1973 21:33 61276
Hacl_SHA2_Vec128.h 29-Nov-1973 21:33 2004
Hacl_SHA2_Vec256.c 29-Nov-1973 21:33 162500
Hacl_SHA2_Vec256.h 29-Nov-1973 21:33 2694
Hacl_SHA3.c 29-Nov-1973 21:33 9801
Hacl_SHA3.h 29-Nov-1973 21:33 3023
Hacl_Salsa20.c 29-Nov-1973 21:33 14336
Hacl_Salsa20.h 29-Nov-1973 21:33 1975
Hacl_Spec.c 29-Nov-1973 21:33 1775
Hacl_Spec.h 29-Nov-1973 21:33 2945
Hacl_Streaming_Blake2.c 29-Nov-1973 21:33 37633
Hacl_Streaming_Blake2.h 29-Nov-1973 21:33 4010
Hacl_Streaming_Blake2b_256.c 29-Nov-1973 21:33 19932
Hacl_Streaming_Blake2b_256.h 29-Nov-1973 21:33 3001
Hacl_Streaming_Blake2s_128.c 29-Nov-1973 21:33 19706
Hacl_Streaming_Blake2s_128.h 29-Nov-1973 21:33 2975
Hacl_Streaming_MD5.c 29-Nov-1973 21:33 9176
Hacl_Streaming_MD5.h 29-Nov-1973 21:33 2144
Hacl_Streaming_Poly1305_128.c 29-Nov-1973 21:33 11711
Hacl_Streaming_Poly1305_128.h 29-Nov-1973 21:33 2367
Hacl_Streaming_Poly1305_256.c 29-Nov-1973 21:33 11711
Hacl_Streaming_Poly1305_256.h 29-Nov-1973 21:33 2367
Hacl_Streaming_Poly1305_32.c 29-Nov-1973 21:33 10096
Hacl_Streaming_Poly1305_32.h 29-Nov-1973 21:33 2321
Hacl_Streaming_SHA1.c 29-Nov-1973 21:33 9197
Hacl_Streaming_SHA1.h 29-Nov-1973 21:33 2160
Hacl_Streaming_SHA2.c 29-Nov-1973 21:33 32989
Hacl_Streaming_SHA2.h 29-Nov-1973 21:33 3796
INFO.txt 29-Nov-1973 21:33 186
Lib_Memzero0.c 29-Nov-1973 21:33 1597
Lib_Memzero0.h 29-Nov-1973 21:33 1592
Lib_PrintBuffer.c 29-Nov-1973 21:33 1330
Lib_PrintBuffer.h 29-Nov-1973 21:33 1918
Lib_RandomBuffer_System.c 29-Nov-1973 21:33 1500
Lib_RandomBuffer_System.h 29-Nov-1973 21:33 1808
Makefile 29-Nov-1973 21:33 7661
Makefile.basic 29-Nov-1973 21:33 1497
Makefile.include 29-Nov-1973 21:33 4972
TestLib.h 29-Nov-1973 21:33 2848
Vale.c 29-Nov-1973 21:33 1220
aes-i686.asm 29-Nov-1973 21:33 8682
aes-x86_64-darwin.S 29-Nov-1973 21:33 6782
aes-x86_64-linux.S 29-Nov-1973 21:33 6776
aes-x86_64-mingw.S 29-Nov-1973 21:33 6726
aes-x86_64-msvc.asm 29-Nov-1973 21:33 6902
aesgcm-x86_64-darwin.S 29-Nov-1973 21:33 199564
aesgcm-x86_64-linux.S 29-Nov-1973 21:33 199542
aesgcm-x86_64-mingw.S 29-Nov-1973 21:33 210728
aesgcm-x86_64-msvc.asm 29-Nov-1973 21:33 208024
configure 29-Nov-1973 21:33 18952
cpuid-x86_64-darwin.S 29-Nov-1973 21:33 2368
cpuid-x86_64-linux.S 29-Nov-1973 21:33 2344
cpuid-x86_64-mingw.S 29-Nov-1973 21:33 2344
cpuid-x86_64-msvc.asm 29-Nov-1973 21:33 2247
curve25519-inline.h 29-Nov-1973 21:33 27084
curve25519-x86_64-darwin.S 29-Nov-1973 21:33 18925
curve25519-x86_64-linux.S 29-Nov-1973 21:33 18907
curve25519-x86_64-mingw.S 29-Nov-1973 21:33 19666
curve25519-x86_64-msvc.asm 29-Nov-1973 21:33 21852
evercrypt_targetconfig.h 29-Nov-1973 21:33 2081
evercrypt_vale_stubs.c 29-Nov-1973 21:33 2321
lib_intrinsics.h 29-Nov-1973 21:33 2322
libevercrypt.def 29-Nov-1973 21:33 29014
libintvector.h 29-Nov-1973 21:33 36625
oldaesgcm-x86_64-darwin.S 29-Nov-1973 21:33 78240
oldaesgcm-x86_64-linux.S 29-Nov-1973 21:33 78228
oldaesgcm-x86_64-mingw.S 29-Nov-1973 21:33 81146
oldaesgcm-x86_64-msvc.asm 29-Nov-1973 21:33 77557
poly1305-x86_64-darwin.S 29-Nov-1973 21:33 3174
poly1305-x86_64-linux.S 29-Nov-1973 21:33 3172
poly1305-x86_64-mingw.S 29-Nov-1973 21:33 3238
poly1305-x86_64-msvc.asm 29-Nov-1973 21:33 3241
sha256-x86_64-darwin.S 29-Nov-1973 21:33 5824
sha256-x86_64-linux.S 29-Nov-1973 21:33 5822
sha256-x86_64-mingw.S 29-Nov-1973 21:33 7372
sha256-x86_64-msvc.asm 29-Nov-1973 21:33 7250