jasmin
Compiler for High-Assurance and High-Speed Cryptography
Description
Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Install
- Published
- 13 Oct 2022
- Authors
- Maintainers
Sources
jasmin-compiler-v2022.09.0.tar.bz2
sha256=4223a70e1875548e5ce80678feec0b7460643fbe87c4de1c7e73c90f84768650
Dependencies
ocamlfind
build
ocamlbuild
build
yojson
>= "1.6.0"
apron
>= "v0.9.12"
zarith
>= "1.9.0"
menhir
>= "20160825" & build
batteries
>= "3.4.0"
ocaml
>= "4.08.0" & build
Reverse Dependencies