balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
ligo/vendors/ocaml-hacl/src
History
Grégoire Henry 87e0de9826 Dune: use the new syntax
2018-08-01 10:52:24 +02:00
..
config
Dune: use the new syntax
2018-08-01 10:52:24 +02:00
AEAD_Poly1305_64.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
AEAD_Poly1305_64.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
dune
Dune: use the new syntax
2018-08-01 10:52:24 +02:00
FStar.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
FStar.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Chacha20.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Chacha20.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Chacha20Poly1305.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Chacha20Poly1305.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Curve25519.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Curve25519.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Ed25519.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Ed25519.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_HMAC_SHA2_256.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_HMAC_SHA2_256.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Policies.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Policies.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Poly1305_32.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Poly1305_32.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Poly1305_64.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Poly1305_64.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Salsa20.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Salsa20.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_SHA2_256.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_SHA2_256.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_SHA2_384.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_SHA2_384.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_SHA2_512.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_SHA2_512.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
hacl_stubs.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Unverified_Random.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
Hacl_Unverified_Random.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
HACL.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
hacl.ml
P2p: make nonces unpredictable when connecting
2018-05-24 12:11:42 +02:00
hacl.mli
[Doc]: Fix minor warnings and errors in the doc
2018-07-25 15:58:38 +02:00
kremlib_base.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
kremlib.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
kremlib.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
NaCl.c
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00
NaCl.h
Vendors: add ocaml-hacl binding for HACL* crypto library
2018-05-17 10:02:48 +02:00