GitHub - emillon/hacl-star-dune

Name		Name	Last commit message	Last commit date
Latest commit History 13 Commits
kremlin		kremlin
raw		raw
tests		tests
.gitignore		.gitignore
AutoConfig2.ml		AutoConfig2.ml
CHANGES.md		CHANGES.md
EverCrypt.ml		EverCrypt.ml
EverCrypt.mli		EverCrypt.mli
Hacl.ml		Hacl.ml
Hacl.mli		Hacl.mli
SharedDefs.ml		SharedDefs.ml
SharedFunctors.ml		SharedFunctors.ml
dune		dune
dune-project		dune-project
dune.inc		dune.inc
gen_dune_rules.ml		gen_dune_rules.ml
hacl-star-raw.opam		hacl-star-raw.opam
hacl-star.opam		hacl-star.opam
index.mld		index.mld