package jasmin
Install
dune-project
Dependency
Authors
Maintainers
Sources
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 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
).