Ugly Alpha 1
evercrypt-sys:0.0.9

total uncompressed bytes

97.0 MB

total files

4614

Fix

NewInclude { include: [ "src/**/*", "README.md", "hacl-star/*", "build.rs", "!**/*.png", "!**/doc/**/*", "!**/test/**/*", "!**/*_test.*", "!**/tests/**/*", "!**/*_tests.*", "!**/specs/**/*", "!**/example/**/*", "!**/build/**/*", ], has_build_script: true, }

377 wasted files

total waste: 6.4 MB

  1. hacl-star/specs/ecdsap256/SigVer.rsp : 730.1 KB
  2. hacl-star/dist/test/c/Test.c : 724.2 KB
  3. hacl-star/specs/ecdsap256/SigGen.txt : 616.3 KB
  4. hacl-star/dist/test/c/Hacl_Test_ECDSA.c : 483.8 KB
  5. hacl-star/tests/ecdsap256_tv_w.h : 453.3 KB
  6. hacl-star/dist/test/c/Hacl_Test_HMAC_DRBG.c : 237.4 KB
  7. hacl-star/tests/ecdhp256_tv_w.h : 232.8 KB
  8. hacl-star/doc/diagram.png : 142.8 KB
  9. hacl-star/providers/test/vectors/Test.Vectors.Chacha20Poly1305.fst : 132.5 KB
  10. hacl-star/tests/rfc7748_src/table_ladder_x448.h : 108.0 KB
  11. hacl-star/tests/ffdhe_vectors.h : 92.3 KB
  12. hacl-star/providers/test/vectors/Test.Vectors.Poly1305.fst : 78.5 KB
  13. hacl-star/specs/tests/Spec.Hash.Test.fst : 68.6 KB
  14. hacl-star/specs/ecdsap256/Spec.ECDSA.Test.Vectors.fst : 61.9 KB
  15. hacl-star/tests/rfc7748_src/fp25519_x64.c : 56.5 KB
  16. hacl-star/specs/tests/Spec.Blake2.Test.fst : 52.9 KB
  17. hacl-star/specs/lemmas/Spec.Ed25519.Lemmas.fst : 45.8 KB
  18. hacl-star/dist/test/c/Hacl_Test_SHA2.c : 44.9 KB
  19. hacl-star/tests/ecdhp256-tvs.h : 39.0 KB
  20. hacl-star/specs/frodo/Spec.Frodo.Test.fst : 39.0 KB
  21. hacl-star/specs/tests/Spec.Frodo.Test.fst : 39.0 KB
  22. hacl-star/specs/tests/Spec.HMAC.Test.fst : 37.1 KB
  23. hacl-star/dist/test/c/Hacl_Test_SHA3.c : 32.1 KB
  24. hacl-star/specs/Spec.FFDHE.fst : 32.0 KB
  25. hacl-star/specs/tests/Spec.HPKE.Test.fst : 32.0 KB
  26. hacl-star/tests/vec-128-test.c : 31.5 KB
  27. hacl-star/providers/test/vectors/aead_chacha20poly1305_test_vectors.json : 29.7 KB
  28. hacl-star/tests/rfc7748_src/table_ladder_x25519.h : 29.1 KB
  29. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20.s : 28.9 KB
  30. hacl-star/tests/rfc7748_src/fp448_x64.c : 28.9 KB
  31. hacl-star/vale/specs/hardware/Vale.X64.Machine_Semantics_s.fst : 28.2 KB
  32. hacl-star/tests/FrodoKEM-64_vectors.h : 27.1 KB
  33. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20.jazz : 26.9 KB
  34. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20.japp : 26.9 KB
  35. hacl-star/providers/test/Test.fst : 26.4 KB
  36. hacl-star/providers/test/Test.Vectors.fst : 26.0 KB
  37. hacl-star/specs/lemmas/Spec.Hash.Incremental.fst : 25.5 KB
  38. hacl-star/specs/drbg/Spec.HMAC_DRBG.Test.Vectors.fst : 24.6 KB
  39. hacl-star/tests/tests-openssl/jasmin-poly-avx2/poly1305.japp : 23.9 KB
  40. hacl-star/vale/specs/interop/Vale.Interop.X64.fsti : 23.3 KB
  41. hacl-star/specs/old/Spec.SHA2_512.fst : 22.7 KB
  42. hacl-star/specs/old/Spec.Ed25519.fst : 22.6 KB
  43. hacl-star/code/tests/Hacl.Test.SHA3.fst : 22.0 KB
  44. hacl-star/tests/tests-openssl/jasmin-poly-avx2/poly1305.jazz : 20.6 KB
  45. hacl-star/specs/ecdsap256/Spec.P256.Lemmas.fst : 20.3 KB
  46. hacl-star/specs/ecdsap256/Spec.ECDSA.fst : 19.7 KB
  47. hacl-star/tests/bignum4096_vectors.h : 19.7 KB
  48. hacl-star/tests/rsapss_vectors.h : 19.0 KB
  49. hacl-star/vale/specs/hardware/Vale.X64.Print_Inline_s.fst : 17.8 KB
  50. hacl-star/vale/specs/hardware/Vale.X64.Instructions_s.fsti : 17.4 KB
  51. hacl-star/specs/tests/Spec.SHA3.Test.fst : 17.3 KB
  52. hacl-star/specs/old/Spec.Lib.fst : 16.7 KB
  53. hacl-star/specs/old/Seq.Create.fst : 16.7 KB
  54. hacl-star/tests/blake2_vectors.h : 15.8 KB
  55. hacl-star/tests/tests-openssl/jasmin-poly-avx2/poly1305.s : 15.6 KB
  56. hacl-star/specs/tests/Spec.Ed25519.Test.fst : 15.5 KB
  57. hacl-star/specs/Spec.Blake2.fst : 15.1 KB
  58. hacl-star/vale/specs/interop/Vale.Interop.Base.fst : 14.9 KB
  59. hacl-star/specs/tests/Spec.AES.Test.fst : 14.3 KB
  60. hacl-star/providers/test/vectors/poly1305_test_vectors.json : 14.1 KB
  61. hacl-star/code/tests/Hacl.Test.ECDSA.fst : 13.9 KB
  62. hacl-star/providers/test/Test.NoHeap.fst : 13.8 KB
  63. hacl-star/bindings/ocaml/tests/hash_test.ml : 13.8 KB
  64. hacl-star/specs/Spec.RSAPSS.fst : 13.7 KB
  65. hacl-star/specs/tests/Spec.SHA2.Test.fst : 13.6 KB
  66. hacl-star/specs/Spec.Agile.HPKE.fst : 13.5 KB
  67. hacl-star/code/tests/Hacl.Test.SHA2.fst : 13.2 KB
  68. hacl-star/providers/test/vectors/Test.Vectors.Curve25519.fst : 13.0 KB
  69. hacl-star/tests/uint128-intrinsics_vectors.h : 13.0 KB
  70. hacl-star/specs/Spec.AES.fst : 13.0 KB
  71. hacl-star/vale/specs/hardware/Vale.X64.Print_s.fst : 12.7 KB
  72. hacl-star/providers/test/vectors/Test.Vectors.Aes128Gcm.fst : 12.1 KB
  73. hacl-star/specs/tests/Spec.HKDF.Test.fst : 12.1 KB
  74. hacl-star/specs/make_sha1_tests.sh : 12.1 KB
  75. hacl-star/specs/lemmas/Spec.Hash.Incremental.Lemmas.fst : 11.7 KB
  76. hacl-star/specs/ecdsap256/Spec.P256.MontgomeryMultiplication.fst : 11.6 KB
  77. hacl-star/specs/frodo/Spec.Matrix.fst : 11.0 KB
  78. hacl-star/specs/frodo/Spec.Frodo.Gen.fst : 10.4 KB
  79. hacl-star/bindings/ocaml/tests/p256_test.ml : 10.2 KB
  80. hacl-star/specs/lemmas/Spec.SHA2.Lemmas.fst : 10.1 KB
  81. hacl-star/bindings/ocaml/tests/nacl_test.ml : 9.9 KB
  82. hacl-star/tests/rfc7748_src/x25519_x64.c : 9.9 KB
  83. hacl-star/specs/Spec.Hash.Definitions.fst : 9.7 KB
  84. hacl-star/.docker/build/build.sh : 9.4 KB
  85. hacl-star/tests/rfc7748_src/x448_x64.c : 8.6 KB
  86. hacl-star/specs/Spec.MD5.fst : 8.1 KB
  87. hacl-star/specs/Spec.SHA3.fst : 8.1 KB
  88. hacl-star/specs/frodo/Spec.Frodo.Params.fst : 7.9 KB
  89. hacl-star/tests/sha2-mb-test.c : 7.7 KB
  90. hacl-star/specs/frodo/Spec.Frodo.KEM.Decaps.fst : 7.7 KB
  91. hacl-star/providers/test/Test.Lowstarize.fst : 7.7 KB
  92. hacl-star/tests/sha2_vectors.h : 7.5 KB
  93. hacl-star/providers/test/vectors/Test.Vectors.Aes128.fst : 7.3 KB
  94. hacl-star/tests/sha2mb_vectors.h : 7.2 KB
  95. hacl-star/bindings/ocaml/tests/aead_test.ml : 7.2 KB
  96. hacl-star/specs/ecdsap256/Spec.P256.fst : 6.9 KB
  97. hacl-star/specs/Spec.SHA2.fst : 6.8 KB
  98. hacl-star/tests/ecdhp256-test.c : 6.8 KB
  99. hacl-star/vale/specs/hardware/Vale.X64.Instructions_s.fst : 6.6 KB
  100. hacl-star/specs/Spec.Exponentiation.fst : 6.3 KB
  101. hacl-star/vale/specs/defs/Vale.Def.Types_s.fst : 6.3 KB
  102. hacl-star/specs/Spec.Hash.Lemmas.fst : 6.3 KB
  103. hacl-star/specs/Spec.SHA1.fst : 6.2 KB
  104. hacl-star/doc/Obtaining.rst : 6.2 KB
  105. hacl-star/tests/merkle_tree_test.c : 6.0 KB
  106. hacl-star/vale/specs/hardware/Vale.X64.Instruction_s.fsti : 6.0 KB
  107. hacl-star/specs/frodo/Spec.Frodo.Encode.fst : 5.8 KB
  108. hacl-star/doc/Overview.rst : 5.8 KB
  109. hacl-star/specs/ecdsap256/Spec.P256.MontgomeryMultiplication.PointAdd.fst : 5.8 KB
  110. hacl-star/vale/specs/crypto/Vale.AES.AES_s.fst : 5.7 KB
  111. hacl-star/vale/code/test/Vale.Test.TestInline.fst : 5.7 KB
  112. hacl-star/specs/frodo/Spec.Frodo.KEM.Encaps.fst : 5.7 KB
  113. hacl-star/specs/lemmas/Spec.Hash.Incremental.fsti : 5.6 KB
  114. hacl-star/bindings/ocaml/tests/hmac_test.ml : 5.5 KB
  115. hacl-star/providers/test/vectors/gen.ml : 5.5 KB
  116. hacl-star/specs/ecdsap256/cavp_parse.py : 5.4 KB
  117. hacl-star/code/meta/example/Example.fst : 5.4 KB
  118. hacl-star/tests/tests-openssl/chacha20-vec-test.c : 5.4 KB
  119. hacl-star/specs/tests/Spec.Chacha20Poly1305.Test.fst : 5.3 KB
  120. hacl-star/tests/p256-test.c : 5.2 KB
  121. hacl-star/specs/tests/Spec.Salsa20.Test.fst : 5.2 KB
  122. hacl-star/specs/Spec.Chacha20.fst : 5.1 KB
  123. hacl-star/specs/Spec.Ed25519.fst : 5.1 KB
  124. hacl-star/tests/poly1305_vectors.h : 5.1 KB
  125. hacl-star/specs/Spec.SHA2.Constants.fst : 5.1 KB
  126. hacl-star/specs/Spec.Salsa20.fst : 5.0 KB
  127. hacl-star/specs/old/Spec.Curve25519.fst : 4.9 KB
  128. hacl-star/specs/frodo/Spec.Frodo.Lemmas.fst : 4.8 KB
  129. hacl-star/dist/test/c/Hacl_Test_CSHAKE.c : 4.7 KB
  130. hacl-star/vale/specs/hardware/Vale.X64.CPU_Features_s.fst : 4.7 KB
  131. hacl-star/tests/tests-openssl/poly1305-test.c : 4.6 KB
  132. hacl-star/code/tests/Hacl.Test.HMAC_DRBG.fst : 4.6 KB
  133. hacl-star/doc/EverCryptHash.rst : 4.5 KB
  134. hacl-star/specs/Spec.Agile.AEAD.fsti : 4.5 KB
  135. hacl-star/vale/specs/hardware/Vale.X64.Leakage_s.fst : 4.5 KB
  136. hacl-star/specs/Spec.Ed25519.PointOps.fst : 4.4 KB
  137. hacl-star/vale/specs/interop/Vale.Interop.Views.fsti : 4.4 KB
  138. hacl-star/tests/rfc7748_src/fp25519_x64.h : 4.3 KB
  139. hacl-star/specs/Spec.Agile.AEAD.fst : 4.3 KB
  140. hacl-star/bindings/ocaml/tests/hkdf_test.ml : 4.2 KB
  141. hacl-star/vale/specs/interop/Vale.Interop.X64.fst : 4.1 KB
  142. hacl-star/vale/specs/hardware/Vale.Arch.MachineHeap_s.fst : 4.1 KB
  143. hacl-star/tests/uint128-intrinsics-test.c : 4.1 KB
  144. hacl-star/doc/General.rst : 4.1 KB
  145. hacl-star/specs/drbg/Spec.HMAC_DRBG.fst : 4.1 KB
  146. hacl-star/tests/sha2-test.c : 4.1 KB
  147. hacl-star/specs/frodo/Spec.Frodo.Pack.fst : 4.1 KB
  148. hacl-star/specs/frodo/Spec.Frodo.KEM.KeyGen.fst : 4.0 KB
  149. hacl-star/vale/specs/defs/Vale.Def.Words.Seq_s.fsti : 4.0 KB
  150. hacl-star/specs/tests/Spec.SecretBox.Test.fst : 3.9 KB
  151. hacl-star/vale/specs/math/Vale.Math.Poly2.Defs_s.fst : 3.9 KB
  152. hacl-star/vale/code/test/Vale.Test.X64.Args.vaf : 3.9 KB
  153. hacl-star/vale/specs/crypto/Vale.AES.GCM_s.fst : 3.9 KB
  154. hacl-star/vale/specs/hardware/Vale.X64.Machine_s.fst : 3.9 KB
  155. hacl-star/doc/conf.py : 3.8 KB
  156. hacl-star/specs/Spec.Curve25519.fst : 3.8 KB
  157. hacl-star/vale/specs/defs/Vale.Def.PossiblyMonad.fst : 3.8 KB
  158. hacl-star/specs/ecdsap256/Spec.P256.Definitions.fst : 3.8 KB
  159. hacl-star/specs/tests/Spec.Curve25519.Test.fst : 3.7 KB
  160. hacl-star/tests/chacha20-vec-test.c : 3.7 KB
  161. hacl-star/tests/blake2s-128-test-streaming.c : 3.7 KB
  162. hacl-star/doc/HaclHash.rst : 3.7 KB
  163. hacl-star/specs/tests/Spec.Chacha20.Test.fst : 3.6 KB
  164. hacl-star/tests/chacha20poly1305-256-test.c : 3.6 KB
  165. hacl-star/specs/Spec.GaloisField.fst : 3.6 KB
  166. hacl-star/bindings/ocaml/tests/curve25519_test.ml : 3.6 KB
  167. hacl-star/vale/code/test/Vale.Test.X64.Memcpy.vaf : 3.5 KB
  168. hacl-star/doc/EverCryptAEAD.rst : 3.5 KB
  169. hacl-star/tests/rfc7748_src/fp448_x64.h : 3.5 KB
  170. hacl-star/specs/old/Spec.GF128.fst : 3.5 KB
  171. hacl-star/tests/blake2s-32-test-streaming.c : 3.5 KB
  172. hacl-star/doc/HaclSig.rst : 3.4 KB
  173. hacl-star/tests/chacha20poly1305-128-test.c : 3.4 KB
  174. hacl-star/tests/bignum4096-test.c : 3.4 KB
  175. hacl-star/tests/chacha20poly1305-32-test.c : 3.4 KB
  176. hacl-star/tests/test_helpers.h : 3.3 KB
  177. hacl-star/bindings/js/api_test.js : 3.3 KB
  178. hacl-star/tests/salsa20-test.c : 3.3 KB
  179. hacl-star/specs/old/Spec.CTR.fst : 3.3 KB
  180. hacl-star/tests/blake2-32-test.c : 3.3 KB
  181. hacl-star/specs/Spec.Agile.HPKE.fsti : 3.2 KB
  182. hacl-star/doc/HaclAEAD.rst : 3.2 KB
  183. hacl-star/vale/specs/hardware/Vale.X64.CryptoInstructions_s.fst : 3.2 KB
  184. hacl-star/doc/HaclECDH.rst : 3.2 KB
  185. hacl-star/tests/Makefile : 3.1 KB
  186. hacl-star/bindings/ocaml/tests/ed25519_test.ml : 3.1 KB
  187. hacl-star/vale/specs/crypto/Vale.AES.GCTR_s.fst : 3.0 KB
  188. hacl-star/specs/tests/Spec.Box.Test.fst : 3.0 KB
  189. hacl-star/specs/Spec.Hash.Lemmas.fsti : 3.0 KB
  190. hacl-star/tests/naclbox-test.c : 3.0 KB
  191. hacl-star/doc/HaclNaCl.rst : 3.0 KB
  192. hacl-star/specs/tests/Spec.HMAC_DRBG.Test.fst : 3.0 KB
  193. hacl-star/vale/specs/hardware/Vale.X64.Instruction_s.fst : 2.9 KB
  194. hacl-star/specs/Spec.Agile.Cipher.fsti : 2.8 KB
  195. hacl-star/specs/Spec.Chacha20Poly1305.fst : 2.8 KB
  196. hacl-star/specs/Spec.SecretBox.fst : 2.8 KB
  197. hacl-star/vale/specs/interop/Vale.Interop.Heap_s.fst : 2.7 KB
  198. hacl-star/doc/index.rst : 2.7 KB
  199. hacl-star/vale/specs/math/Vale.Math.Poly2_s.fsti : 2.7 KB
  200. hacl-star/specs/ecdsap256/Spec.P256.MontgomeryMultiplication.fsti : 2.7 KB
  201. hacl-star/specs/Spec.Box.fst : 2.7 KB
  202. hacl-star/specs/drbg/cavp_parse.py : 2.7 KB
  203. hacl-star/vale/code/test/Vale.Test.X64.Vale_memcpy.vaf : 2.7 KB
  204. hacl-star/specs/frodo/Spec.Frodo.Sample.fst : 2.6 KB
  205. hacl-star/specs/old/Spec.GaloisField.fst : 2.5 KB
  206. hacl-star/doc/Supported.rst : 2.5 KB
  207. hacl-star/doc/EverCryptHKDF.rst : 2.5 KB
  208. hacl-star/tests/rfc7748_src/rfc7748_precomputed.h : 2.5 KB
  209. hacl-star/specs/ecdsap256/Spec.ECDSAP256.Definition.fst : 2.4 KB
  210. hacl-star/tests/chacha20poly1305_vectors.h : 2.4 KB
  211. hacl-star/specs/Spec.Hash.PadFinish.fst : 2.4 KB
  212. hacl-star/tests/blake2b-256-test-streaming.c : 2.4 KB
  213. hacl-star/providers/test/vectors/curve25519_test_vectors.json : 2.4 KB
  214. hacl-star/doc/EverCryptCTR.rst : 2.4 KB
  215. hacl-star/tests/gen_vectors/gen_uint128_intrinsics_vectors.py : 2.3 KB
  216. hacl-star/specs/Spec.Cipher.Expansion.fst : 2.3 KB
  217. hacl-star/providers/test/Test.Hash.fst : 2.3 KB
  218. hacl-star/specs/lemmas/Spec.Ed25519.Lemmas.fsti : 2.3 KB
  219. hacl-star/vale/specs/interop/Vale.Interop.Types.fst : 2.2 KB
  220. hacl-star/bindings/ocaml/tests/poly1305_test.ml : 2.2 KB
  221. hacl-star/specs/Spec.Poly1305.fst : 2.2 KB
  222. hacl-star/tests/naclbox_vectors.h : 2.2 KB
  223. hacl-star/tests/poly1305-256-test-streaming.c : 2.2 KB
  224. hacl-star/code/tests/Hacl.Benchmark.Ed25519.c : 2.1 KB
  225. hacl-star/code/tests/Hacl.Test.CSHAKE.fst : 2.1 KB
  226. hacl-star/tests/blake2b-32-test-streaming.c : 2.1 KB
  227. hacl-star/doc/API.rst : 2.1 KB
  228. hacl-star/specs/Spec.Agile.HKDF.fst : 2.1 KB
  229. hacl-star/specs/drbg/Spec.HMAC_DRBG.fsti : 2.0 KB
  230. hacl-star/vale/specs/defs/Vale.Def.Words.Four_s.fsti : 2.0 KB
  231. hacl-star/tests/chacha20_vectors.h : 2.0 KB
  232. hacl-star/tests/poly1305-128-test-streaming.c : 2.0 KB
  233. hacl-star/specs/Spec.Agile.Hash.fst : 2.0 KB
  234. hacl-star/tests/blake2b-256-test.c : 2.0 KB
  235. hacl-star/tests/curve64-rfc.c : 1.9 KB
  236. hacl-star/vale/specs/math/Vale.Math.Poly2.Bits_s.fsti : 1.9 KB
  237. hacl-star/tests/poly1305-256-test.c : 1.9 KB
  238. hacl-star/doc/HaclValeEverCrypt.rst : 1.9 KB
  239. hacl-star/specs/tests/Spec.Poly1305.Test.fst : 1.9 KB
  240. hacl-star/tests/curve64-ours.c : 1.9 KB
  241. hacl-star/tests/poly1305-32-test-streaming.c : 1.9 KB
  242. hacl-star/dist/test/c/Hacl_Test_HMAC_DRBG.h : 1.8 KB
  243. hacl-star/doc/EverCryptHMAC.rst : 1.8 KB
  244. hacl-star/providers/test/Test.NoHeap.fsti : 1.8 KB
  245. hacl-star/tests/rsapss-test.c : 1.8 KB
  246. hacl-star/dist/test/c/Hacl_Test_SHA2.h : 1.7 KB
  247. hacl-star/tests/blake2s-128-test.c : 1.7 KB
  248. hacl-star/.docker/build/windows-nt/Dockerfile : 1.7 KB
  249. hacl-star/specs/Spec.Agile.DH.fst : 1.7 KB
  250. hacl-star/tests/curve51-ours.c : 1.7 KB
  251. hacl-star/tests/poly1305-128-test.c : 1.7 KB
  252. hacl-star/tests/poly1305-32-test.c : 1.6 KB
  253. hacl-star/specs/Spec.Cipher.Expansion.fsti : 1.6 KB
  254. hacl-star/vale/specs/defs/Vale.Def.Opaque_s.fsti : 1.6 KB
  255. hacl-star/tests/chacha20-test.c : 1.6 KB
  256. hacl-star/vale/specs/interop/Vale.Interop.Views.fst : 1.6 KB
  257. hacl-star/tests/ffdhe-test.c : 1.6 KB
  258. hacl-star/tests/sha2-test-streaming.c : 1.5 KB
  259. hacl-star/tests/curve25519_vectors.h : 1.5 KB
  260. hacl-build.bat : 1.5 KB
  261. hacl-star/dist/test/c/Makefile.basic : 1.5 KB
  262. hacl-star/vale/specs/defs/Vale.Def.Words_s.fsti : 1.5 KB
  263. hacl-star/specs/Spec.Agile.Cipher.fst : 1.5 KB
  264. hacl-star/providers/test/vectors/aead_aes128gcm_test_vectors.json : 1.5 KB
  265. hacl-star/vale/specs/hardware/Vale.X64.Bytes_Code_s.fst : 1.5 KB
  266. hacl-star/specs/Spec.SHA3.Constants.fst : 1.5 KB
  267. hacl-star/.docker/build/linux/Dockerfile : 1.4 KB
  268. hacl-star/dist/test/c/Hacl_Test_ECDSA.h : 1.4 KB
  269. hacl-star/specs/lemmas/Spec.Hash.Incremental.Lemmas.fsti : 1.4 KB
  270. hacl-star/doc/EverCryptNonAgile.rst : 1.4 KB
  271. hacl-star/dist/test/c/Test.h : 1.3 KB
  272. hacl-star/dist/test/c/Hacl_Test_CSHAKE.h : 1.3 KB
  273. hacl-star/dist/test/c/Hacl_Test_SHA3.h : 1.3 KB
  274. hacl-star/vale/specs/defs/Vale.Def.Words.Two_s.fsti : 1.3 KB
  275. hacl-star/specs/Spec.Agile.HMAC.fst : 1.2 KB
  276. hacl-star/.docker/build/config.json : 1.2 KB
  277. hacl-star/bindings/ocaml/tests/drbg_test.ml : 1.2 KB
  278. hacl-star/specs/make_md5_tests.sh : 1.1 KB
  279. hacl-star/doc/EverCryptAutoConfig.rst : 1.1 KB
  280. hacl-star/tests/FrodoKEM-64-test.c : 1.1 KB
  281. hacl-star/specs/ecdsap256/Spec.DH.fst : 1.1 KB
  282. hacl-star/bindings/ocaml/tests/config_test.ml : 1.1 KB
  283. hacl-star/vale/specs/crypto/Vale.Poly1305.Spec_s.fst : 1.1 KB
  284. hacl-star/specs/frodo/Spec.Frodo.KEM.fst : 1.1 KB
  285. hacl-star/providers/test/extract/Makefile : 1.0 KB
  286. hacl-star/vale/code/test/TestInline.c : 1.0 KB
  287. hacl-star/vale/specs/defs/Vale.Def.TypesNative_s.fst : 1.0 KB
  288. hacl-star/specs/old/Spec.SHA512.fsti : 1.0 KB
  289. hacl-star/doc/EverCryptDeprecated.rst : 998 B
  290. hacl-star/vale/specs/defs/Vale.Def.Words.Seq_s.fst : 953 B
  291. hacl-star/vale/specs/hardware/Vale.Arch.Heap.fsti : 951 B
  292. hacl-star/vale/specs/crypto/Vale.AES.GHash_s.fst : 933 B
  293. hacl-star/providers/test/vectors/aes128_test_vectors.json : 866 B
  294. hacl-star/specs/old/Spec.Curve25519.Lemmas.fst : 860 B
  295. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/chacha20_jazz.c : 844 B
  296. hacl-star/doc/Applications.rst : 812 B
  297. hacl-star/doc/Randomness.rst : 798 B
  298. hacl-star/bindings/ocaml/tests/test_utils.ml : 793 B
  299. hacl-star/vale/doc/compilation.txt : 792 B
  300. hacl-star/doc/ci.sh : 781 B
  301. hacl-star/.docker/build/build_helper.sh : 768 B
  302. hacl-star/specs/lemmas/Spec.Curve25519.Lemmas.fst : 752 B
  303. hacl-star/specs/Spec.Agile.HKDF.fsti : 708 B
  304. hacl-star/specs/Spec.Hash.Lemmas0.fst : 699 B
  305. hacl-star/doc/EverCryptDRBG.rst : 683 B
  306. hacl-star/vale/specs/math/Vale.Math.Poly2_s.fst : 675 B
  307. hacl-star/specs/Makefile : 670 B
  308. hacl-star/vale/specs/interop/Vale.Interop.Assumptions.fst : 668 B
  309. hacl-star/tests/tests-openssl/jasmin-poly-avx2/auth_jazz.c : 647 B
  310. hacl-star/specs/ecdsap256/Makefile : 645 B
  311. hacl-star/dist/test/c/Makefile : 641 B
  312. hacl-star/specs/README.md : 637 B
  313. hacl-star/vale/specs/defs/Vale.Lib.Set.fst : 612 B
  314. hacl-star/tests/README : 611 B
  315. hacl-star/doc/Makefile : 608 B
  316. hacl-star/code/meta/example/Client.fst : 608 B
  317. hacl-star/specs/Spec.Agile.CTR.fst : 585 B
  318. hacl-star/vale/specs/crypto/Vale.AES.GF128_s.fsti : 583 B
  319. hacl-star/specs/drbg/Makefile : 576 B
  320. hacl-star/specs/drbg/Spec.HMAC_DRBG.Test.Vectors.fstp : 562 B
  321. hacl-star/specs/lemmas/Spec.SHA2.Lemmas.fsti : 561 B
  322. hacl-star/vale/specs/defs/Vale.Lib.Set.fsti : 530 B
  323. hacl-star/specs/ecdsap256/Spec.ECDSA.Test.Vectors.fstp : 514 B
  324. hacl-star/specs/Spec.Agile.HMAC.fsti : 500 B
  325. hacl-star/bindings/ocaml/tests/dune : 484 B
  326. hacl-star/code/meta/example/Interface.fsti : 452 B
  327. hacl-star/specs/Spec.Agile.Hash.fsti : 438 B
  328. hacl-star/vale/specs/defs/Vale.Def.Words_s.fst : 406 B
  329. hacl-star/vale/specs/defs/Vale.Def.Prop_s.fst : 399 B
  330. hacl-star/vale/specs/defs/Vale.Lib.Seqs_s.fst : 396 B
  331. hacl-star/tests/tests-openssl/jasmin-poly-avx2/verify_jazz.c : 333 B
  332. hacl-star/doc/_templates/layout.html : 321 B
  333. hacl-star/specs/old/Spec.CTR.Lemmas.fst : 319 B
  334. hacl-star/vale/specs/math/Vale.Math.Poly2.Bits_s.fst : 307 B
  335. hacl-star/vale/specs/defs/Vale.Lib.Bv_s.fst : 304 B
  336. hacl-star/vale/specs/defs/Vale.Def.Opaque_s.fst : 304 B
  337. hacl-star/specs/old/Spec.SHA512.fst : 296 B
  338. hacl-star/vale/specs/hardware/Vale.Arch.HeapTypes_s.fst : 284 B
  339. hacl-star/vale/specs/hardware/Vale.X64.CryptoInstructions_s.fsti : 278 B
  340. hacl-star/specs/frodo/Spec.Frodo.Random.fst : 243 B
  341. wrapper.h : 225 B
  342. hacl-star/doc/EverCryptDoc.rst : 213 B
  343. hacl-star/doc/README.md : 210 B
  344. hacl-star/specs/Spec.SHA2.fsti : 187 B
  345. hacl-star/specs/Spec.SHA1.fsti : 143 B
  346. hacl-star/specs/Spec.MD5.fsti : 138 B
  347. hacl-star/doc/HaclDoc.rst : 109 B
  348. hacl-star/providers/test/Test.fsti : 108 B
  349. hacl-star/specs/frodo/AUTHORS.md : 98 B
  350. hacl-star/specs/old/README.md : 81 B
  351. hacl-star/dist/test/c/Makefile.include : 78 B
  352. hacl-star/tests/tests-openssl/jasmin-poly-avx2/Makefile : 77 B
  353. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/Makefile : 77 B
  354. hacl-star/specs/tests/Spec.Frodo.Test.fsti : 66 B
  355. hacl-star/vale/specs/interop/Makefile : 56 B
  356. hacl-star/vale/specs/hardware/Makefile : 56 B
  357. hacl-star/vale/specs/crypto/Makefile : 56 B
  358. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/api.h : 55 B
  359. hacl-star/specs/tests/Makefile : 53 B
  360. hacl-star/specs/lemmas/Makefile : 53 B
  361. hacl-star/specs/frodo/Makefile : 53 B
  362. hacl-star/providers/test/Makefile : 53 B
  363. hacl-star/code/tests/Makefile : 53 B
  364. hacl-star/tests/tests-openssl/jasmin-poly-avx2/api.h : 51 B
  365. hacl-star/vale/code/test/TestInlineMain.ml : 46 B
  366. hacl-star/vale/specs/defs/Vale.Def.Words.Four_s.fst : 44 B
  367. hacl-star/vale/specs/defs/Vale.Def.Words.Two_s.fst : 43 B
  368. hacl-star/vale/specs/crypto/Vale.AES.GF128_s.fst : 39 B
  369. hacl-star/tests/tests-openssl/jasmin-poly-avx2/impl.h : 36 B
  370. hacl-star/tests/tests-openssl/jasmin-chacha-avx2/impl.h : 36 B
  371. hacl-star/specs/tests/Spec.HPKE.Test.fsti : 22 B
  372. hacl-star/bindings/js/doc/.gitignore : 21 B
  373. hacl-star/providers/test/vectors/.merlin : 15 B
  374. hacl-star/vale/doc/.gitattributes : 14 B
  375. hacl-star/tests/merkle_tree_test.h : 13 B
  376. .gitignore : 7 B
  377. hacl-star/doc/_static/.gitignore : 0 B