package jasmin

  1. Overview
  2. Docs
Compiler for High-Assurance and High-Speed Cryptography

Install

dune-project
 Dependency

Authors

Maintainers

Sources

jasmin-compiler-v2025.06.1.tar.bz2
sha256=e92b42fa69da7c730b0c26dacf842a72b4febcaf4f2157a1dc18b3cce1f859fa

Description

Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.

Published: 19 Sep 2025

README

Jasmin Compiler

More information about this compiler (build instructions in particular) can be found on the online wiki.

The Jasmin compiler is free software. All files in this distribution are, by default, licensed under the MIT license. The exceptions are given below.

The files src/puf.ml and src/puf.mli are distributed under the terms of the GNU Library General Public License version 2.1, with the special exception on linking described in file src/LICENSE.puf.

The files src/UnionFindBasic.ml, and src/UnionFindBasic.mli are distributed under the terms of the GNU Library General Public License version 2, with the special exception on linking described in file src/LICENSE.ufb.

The contents of the src/CIL directory are extracted from Coq files from several sources:

The files src/uint63.mli, src/uint63_31.ml, and src/uint63_63.ml have been adapted from the source code of Coq and are distributed under the terms of the GNU Lesser General Public License Version 2.1 (see src/CIL/LICENSE.coq).

Dependencies (13)

  1. ocamlfind build
  2. angstrom >= "0.14.0"
  3. yojson >= "1.6.0"
  4. conf-ppl
  5. apron >= "v0.9.12"
  6. zarith >= "1.9"
  7. camlidl
  8. menhirLib
  9. menhir >= "20160825" & build
  10. dune >= "3.7"
  11. cmdliner >= "1.1" & build
  12. batteries >= "3.5"
  13. ocaml >= "4.12" & build

Dev Dependencies

None

Used by

None

Conflicts

None