Index of /src/evercrypt-sys-0.0.9/hacl-star/dist/portable-gcc-compatible/
../
internal/ 14-Apr-2024 10:26 -
EverCrypt_AEAD.c 29-Nov-1973 21:33 67239
EverCrypt_AEAD.h 29-Nov-1973 21:33 8872
EverCrypt_AutoConfig2.c 29-Nov-1973 21:33 11162
EverCrypt_AutoConfig2.h 29-Nov-1973 21:33 6921
EverCrypt_CTR.c 29-Nov-1973 21:33 12940
EverCrypt_CTR.h 29-Nov-1973 21:33 3331
EverCrypt_Chacha20Poly1305.c 29-Nov-1973 21:33 3005
EverCrypt_Chacha20Poly1305.h 29-Nov-1973 21:33 2330
EverCrypt_Cipher.c 29-Nov-1973 21:33 1601
EverCrypt_Cipher.h 29-Nov-1973 21:33 1770
EverCrypt_Curve25519.c 29-Nov-1973 21:33 2599
EverCrypt_Curve25519.h 29-Nov-1973 21:33 2230
EverCrypt_DRBG.c 29-Nov-1973 21:33 73819
EverCrypt_DRBG.h 29-Nov-1973 21:33 9041
EverCrypt_Ed25519.c 29-Nov-1973 21:33 2400
EverCrypt_Ed25519.h 29-Nov-1973 21:33 2509
EverCrypt_Error.c 29-Nov-1973 21:33 3385
EverCrypt_Error.h 29-Nov-1973 21:33 3155
EverCrypt_HKDF.c 29-Nov-1973 21:33 15203
EverCrypt_HKDF.h 29-Nov-1973 21:33 5539
EverCrypt_HMAC.c 29-Nov-1973 21:33 24543
EverCrypt_HMAC.h 29-Nov-1973 21:33 3713
EverCrypt_Hacl.h 29-Nov-1973 21:33 3093
EverCrypt_Hash.c 29-Nov-1973 21:33 61715
EverCrypt_Hash.h 29-Nov-1973 21:33 12768
EverCrypt_Helpers.h 29-Nov-1973 21:33 2681
EverCrypt_Poly1305.c 29-Nov-1973 21:33 3112
EverCrypt_Poly1305.h 29-Nov-1973 21:33 1867
EverCrypt_StaticConfig.c 29-Nov-1973 21:33 1778
EverCrypt_StaticConfig.h 29-Nov-1973 21:33 2139
EverCrypt_Vale.h 29-Nov-1973 21:33 3098
Hacl_AES128.h 29-Nov-1973 21:33 1936
Hacl_Bignum.c 29-Nov-1973 21:33 96692
Hacl_Bignum25519_51.h 29-Nov-1973 21:33 32366
Hacl_Bignum256.c 29-Nov-1973 21:33 58207
Hacl_Bignum256.h 29-Nov-1973 21:33 14665
Hacl_Bignum256_32.c 29-Nov-1973 21:33 58074
Hacl_Bignum256_32.h 29-Nov-1973 21:33 14635
Hacl_Bignum32.c 29-Nov-1973 21:33 29553
Hacl_Bignum32.h 29-Nov-1973 21:33 14503
Hacl_Bignum4096.c 29-Nov-1973 21:33 52869
Hacl_Bignum4096.h 29-Nov-1973 21:33 14694
Hacl_Bignum4096_32.c 29-Nov-1973 21:33 52988
Hacl_Bignum4096_32.h 29-Nov-1973 21:33 14918
Hacl_Bignum64.c 29-Nov-1973 21:33 29713
Hacl_Bignum64.h 29-Nov-1973 21:33 14498
Hacl_Bignum_Base.h 29-Nov-1973 21:33 3051
Hacl_Chacha20.c 29-Nov-1973 21:33 7876
Hacl_Chacha20.h 29-Nov-1973 21:33 2042
Hacl_Chacha20Poly1305_128.c 29-Nov-1973 21:33 55931
Hacl_Chacha20Poly1305_128.h 29-Nov-1973 21:33 2261
Hacl_Chacha20Poly1305_256.c 29-Nov-1973 21:33 56314
Hacl_Chacha20Poly1305_256.h 29-Nov-1973 21:33 2261
Hacl_Chacha20Poly1305_32.c 29-Nov-1973 21:33 18225
Hacl_Chacha20Poly1305_32.h 29-Nov-1973 21:33 2244
Hacl_Chacha20_Vec128.c 29-Nov-1973 21:33 40353
Hacl_Chacha20_Vec128.h 29-Nov-1973 21:33 2129
Hacl_Chacha20_Vec256.c 29-Nov-1973 21:33 60117
Hacl_Chacha20_Vec256.h 29-Nov-1973 21:33 2129
Hacl_Chacha20_Vec32.c 29-Nov-1973 21:33 10684
Hacl_Chacha20_Vec32.h 29-Nov-1973 21:33 2114
Hacl_Curve25519_51.c 29-Nov-1973 21:33 11282
Hacl_Curve25519_51.h 29-Nov-1973 21:33 2142
Hacl_Curve25519_64.c 29-Nov-1973 21:33 12606
Hacl_Curve25519_64.h 29-Nov-1973 21:33 2140
Hacl_Curve25519_64_Slow.c 29-Nov-1973 21:33 30175
Hacl_Curve25519_64_Slow.h 29-Nov-1973 21:33 2199
Hacl_EC_Ed25519.c 29-Nov-1973 21:33 6442
Hacl_EC_Ed25519.h 29-Nov-1973 21:33 4186
Hacl_Ed25519.c 29-Nov-1973 21:33 63381
Hacl_Ed25519.h 29-Nov-1973 21:33 2501
Hacl_FFDHE.c 29-Nov-1973 21:33 10662
Hacl_FFDHE.h 29-Nov-1973 21:33 2826
Hacl_Frodo1344.c 29-Nov-1973 21:33 13578
Hacl_Frodo1344.h 29-Nov-1973 21:33 2844
Hacl_Frodo64.c 29-Nov-1973 21:33 13414
Hacl_Frodo64.h 29-Nov-1973 21:33 2854
Hacl_Frodo640.c 29-Nov-1973 21:33 13480
Hacl_Frodo640.h 29-Nov-1973 21:33 2820
Hacl_Frodo976.c 29-Nov-1973 21:33 13495
Hacl_Frodo976.h 29-Nov-1973 21:33 2820
Hacl_Frodo_KEM.c 29-Nov-1973 21:33 1414
Hacl_Frodo_KEM.h 29-Nov-1973 21:33 19679
Hacl_GenericField32.c 29-Nov-1973 21:33 21658
Hacl_GenericField32.h 29-Nov-1973 21:33 10264
Hacl_GenericField64.c 29-Nov-1973 21:33 21720
Hacl_GenericField64.h 29-Nov-1973 21:33 9992
Hacl_HKDF.c 29-Nov-1973 21:33 8189
Hacl_HKDF.h 29-Nov-1973 21:33 3383
Hacl_HKDF_Blake2b_256.c 29-Nov-1973 21:33 3169
Hacl_HKDF_Blake2b_256.h 29-Nov-1973 21:33 2138
Hacl_HKDF_Blake2s_128.c 29-Nov-1973 21:33 3169
Hacl_HKDF_Blake2s_128.h 29-Nov-1973 21:33 2138
Hacl_HMAC.c 29-Nov-1973 21:33 22463
Hacl_HMAC.h 29-Nov-1973 21:33 2999
Hacl_HMAC_Blake2b_256.c 29-Nov-1973 21:33 8489
Hacl_HMAC_Blake2b_256.h 29-Nov-1973 21:33 1893
Hacl_HMAC_Blake2s_128.c 29-Nov-1973 21:33 7838
Hacl_HMAC_Blake2s_128.h 29-Nov-1973 21:33 1867
Hacl_HMAC_DRBG.c 29-Nov-1973 21:33 45168
Hacl_HMAC_DRBG.h 29-Nov-1973 21:33 4303
Hacl_HPKE_Curve51_CP128_SHA256.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve51_CP128_SHA256.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve51_CP128_SHA512.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve51_CP128_SHA512.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve51_CP256_SHA256.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve51_CP256_SHA256.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve51_CP256_SHA512.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve51_CP256_SHA512.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve51_CP32_SHA256.c 29-Nov-1973 21:33 10112
Hacl_HPKE_Curve51_CP32_SHA256.h 29-Nov-1973 21:33 2879
Hacl_HPKE_Curve51_CP32_SHA512.c 29-Nov-1973 21:33 10112
Hacl_HPKE_Curve51_CP32_SHA512.h 29-Nov-1973 21:33 2879
Hacl_HPKE_Curve64_CP128_SHA256.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve64_CP128_SHA256.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve64_CP128_SHA512.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve64_CP128_SHA512.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve64_CP256_SHA256.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve64_CP256_SHA256.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve64_CP256_SHA512.c 29-Nov-1973 21:33 10129
Hacl_HPKE_Curve64_CP256_SHA512.h 29-Nov-1973 21:33 2895
Hacl_HPKE_Curve64_CP32_SHA256.c 29-Nov-1973 21:33 10112
Hacl_HPKE_Curve64_CP32_SHA256.h 29-Nov-1973 21:33 2879
Hacl_HPKE_Curve64_CP32_SHA512.c 29-Nov-1973 21:33 10112
Hacl_HPKE_Curve64_CP32_SHA512.h 29-Nov-1973 21:33 2879
Hacl_HPKE_P256_CP128_SHA256.c 29-Nov-1973 21:33 13122
Hacl_HPKE_P256_CP128_SHA256.h 29-Nov-1973 21:33 2818
Hacl_HPKE_P256_CP256_SHA256.c 29-Nov-1973 21:33 13122
Hacl_HPKE_P256_CP256_SHA256.h 29-Nov-1973 21:33 2818
Hacl_HPKE_P256_CP32_SHA256.c 29-Nov-1973 21:33 13105
Hacl_HPKE_P256_CP32_SHA256.h 29-Nov-1973 21:33 2802
Hacl_Hash_Base.c 29-Nov-1973 21:33 5335
Hacl_Hash_Base.h 29-Nov-1973 21:33 2300
Hacl_Hash_Blake2.c 29-Nov-1973 21:33 103872
Hacl_Hash_Blake2.h 29-Nov-1973 21:33 4589
Hacl_Hash_Blake2b_256.c 29-Nov-1973 21:33 44716
Hacl_Hash_Blake2b_256.h 29-Nov-1973 21:33 3222
Hacl_Hash_Blake2s_128.c 29-Nov-1973 21:33 43613
Hacl_Hash_Blake2s_128.h 29-Nov-1973 21:33 3196
Hacl_Hash_MD5.c 29-Nov-1973 21:33 35186
Hacl_Hash_MD5.h 29-Nov-1973 21:33 2165
Hacl_Hash_SHA1.c 29-Nov-1973 21:33 7385
Hacl_Hash_SHA1.h 29-Nov-1973 21:33 2177
Hacl_Hash_SHA2.c 29-Nov-1973 21:33 31888
Hacl_Hash_SHA2.h 29-Nov-1973 21:33 3931
Hacl_Impl_Blake2_Constants.h 29-Nov-1973 21:33 4997
Hacl_Impl_FFDHE_Constants.h 29-Nov-1973 21:33 51811
Hacl_IntTypes_Intrinsics.h 29-Nov-1973 21:33 3204
Hacl_IntTypes_Intrinsics_128.h 29-Nov-1973 21:33 2857
Hacl_Kremlib.c 29-Nov-1973 21:33 1746
Hacl_Kremlib.h 29-Nov-1973 21:33 4562
Hacl_NaCl.c 29-Nov-1973 21:33 11522
Hacl_NaCl.h 29-Nov-1973 21:33 4743
Hacl_P256.c 29-Nov-1973 21:33 108276
Hacl_P256.h 29-Nov-1973 21:33 13097
Hacl_Poly1305_128.c 29-Nov-1973 21:33 77785
Hacl_Poly1305_128.h 29-Nov-1973 21:33 2947
Hacl_Poly1305_256.c 29-Nov-1973 21:33 101826
Hacl_Poly1305_256.h 29-Nov-1973 21:33 2947
Hacl_Poly1305_32.c 29-Nov-1973 21:33 18165
Hacl_Poly1305_32.h 29-Nov-1973 21:33 2792
Hacl_RSAPSS.c 29-Nov-1973 21:33 25480
Hacl_RSAPSS.h 29-Nov-1973 21:33 3389
Hacl_SHA2_Generic.h 29-Nov-1973 21:33 7581
Hacl_SHA2_Scalar32.c 29-Nov-1973 21:33 25052
Hacl_SHA2_Scalar32.h 29-Nov-1973 21:33 2316
Hacl_SHA2_Vec128.c 29-Nov-1973 21:33 43004
Hacl_SHA2_Vec128.h 29-Nov-1973 21:33 2192
Hacl_SHA2_Vec256.c 29-Nov-1973 21:33 108006
Hacl_SHA2_Vec256.h 29-Nov-1973 21:33 3070
Hacl_SHA3.c 29-Nov-1973 21:33 10593
Hacl_SHA3.h 29-Nov-1973 21:33 4439
Hacl_Salsa20.c 29-Nov-1973 21:33 13247
Hacl_Salsa20.h 29-Nov-1973 21:33 2367
Hacl_Spec.c 29-Nov-1973 21:33 1900
Hacl_Spec.h 29-Nov-1973 21:33 3587
Hacl_Streaming_Blake2.c 29-Nov-1973 21:33 33241
Hacl_Streaming_Blake2.h 29-Nov-1973 21:33 5990
Hacl_Streaming_Blake2b_256.c 29-Nov-1973 21:33 17345
Hacl_Streaming_Blake2b_256.h 29-Nov-1973 21:33 4015
Hacl_Streaming_Blake2s_128.c 29-Nov-1973 21:33 17119
Hacl_Streaming_Blake2s_128.h 29-Nov-1973 21:33 3989
Hacl_Streaming_MD5.c 29-Nov-1973 21:33 8833
Hacl_Streaming_MD5.h 29-Nov-1973 21:33 2822
Hacl_Streaming_Poly1305_128.c 29-Nov-1973 21:33 10841
Hacl_Streaming_Poly1305_128.h 29-Nov-1973 21:33 3061
Hacl_Streaming_Poly1305_256.c 29-Nov-1973 21:33 10841
Hacl_Streaming_Poly1305_256.h 29-Nov-1973 21:33 3061
Hacl_Streaming_Poly1305_32.c 29-Nov-1973 21:33 9610
Hacl_Streaming_Poly1305_32.h 29-Nov-1973 21:33 3001
Hacl_Streaming_SHA1.c 29-Nov-1973 21:33 8874
Hacl_Streaming_SHA1.h 29-Nov-1973 21:33 2862
Hacl_Streaming_SHA2.c 29-Nov-1973 21:33 31365
Hacl_Streaming_SHA2.h 29-Nov-1973 21:33 6316
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 1676
Lib_PrintBuffer.c 29-Nov-1973 21:33 1330
Lib_PrintBuffer.h 29-Nov-1973 21:33 2356
Lib_RandomBuffer_System.c 29-Nov-1973 21:33 1500
Lib_RandomBuffer_System.h 29-Nov-1973 21:33 2150
Makefile 29-Nov-1973 21:33 7661
Makefile.basic 29-Nov-1973 21:33 1497
Makefile.include 29-Nov-1973 21:33 5002
MerkleTree.c 29-Nov-1973 21:33 83347
MerkleTree.h 29-Nov-1973 21:33 22051
TestLib.h 29-Nov-1973 21:33 4362
Vale.c 29-Nov-1973 21:33 1278
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 30705
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