package jasmin
Install
dune-project
Dependency
Authors
Maintainers
Sources
sha256=aa0d21f532c1560a0939244cfd1c8414ba2b42c9d1403960f458500446cb1ebb
Description
Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.
Published: 23 Nov 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 Coq standard library (LGPL 2.1 only, see
src/CIL/LICENSE.coq) - the Mathematical Components library (CēCILL-B, see
src/CIL/LICENSE.mathcomp) - the coqword library (MIT, see
src/CIL/LICENSE.coqword) - the Jasmin coq source files (MIT, the same license as the rest of the compiler).
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).