GitHub - tankf33der/monocypher-hacl: run HACL* C code against Monocypher and TIS-CI

Check HACL* C crypto code against Monocypher and TIS-CI.

Name		Name	Last commit message	Last commit date
Latest commit History 68 Commits
kremlib/dist/minimal		kremlib/dist/minimal
kremlin		kremlin
.gitignore		.gitignore
COPYING		COPYING
Hacl_Blake2b_32.c		Hacl_Blake2b_32.c
Hacl_Blake2b_32.h		Hacl_Blake2b_32.h
Hacl_Blake2s_32.c		Hacl_Blake2s_32.c
Hacl_Blake2s_32.h		Hacl_Blake2s_32.h
Hacl_Curve25519_51.c		Hacl_Curve25519_51.c
Hacl_Curve25519_51.h		Hacl_Curve25519_51.h
Hacl_Ed25519.c		Hacl_Ed25519.c
Hacl_Ed25519.h		Hacl_Ed25519.h
Hacl_HMAC.c		Hacl_HMAC.c
Hacl_HMAC.h		Hacl_HMAC.h
Hacl_Hash.c		Hacl_Hash.c
Hacl_Hash.h		Hacl_Hash.h
Hacl_Impl_Blake2_Constants.h		Hacl_Impl_Blake2_Constants.h
Hacl_Kremlib.h		Hacl_Kremlib.h
Hacl_Poly1305_32.c		Hacl_Poly1305_32.c
Hacl_Poly1305_32.h		Hacl_Poly1305_32.h
Hacl_Spec.c		Hacl_Spec.c
Hacl_Spec.h		Hacl_Spec.h
Lib_Memzero0.c		Lib_Memzero0.c
Lib_Memzero0.h		Lib_Memzero0.h
Makefile		Makefile
README.md		README.md
evercrypt_targetconfig.h		evercrypt_targetconfig.h
main.c		main.c
monocypher-ed25519.c		monocypher-ed25519.c
monocypher-ed25519.h		monocypher-ed25519.h
monocypher.c		monocypher.c
monocypher.h		monocypher.h
tis-generator.l		tis-generator.l
tis.config		tis.config

Provide feedback