package jasmin

  1. Overview
  2. Docs
package jasmin
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

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).