RaML 1.5 Release

RaML 1.5.0 is now available. The main change compared to the previous release is support for inferring bounds on the expected resource usage of probabilistic programs.

Use the following link to download a tar archive of the RaML 1.5.0 source code.

raml-1.5.0.tar.gz

Detailed build and usage instructions can be found in the README file in the tar archive. Know issues are discussed in the ISSUES files in the tar archive.

RaML is open source software. License information can be found in the file LICENSE in the tar archive.


RaML 1.4 Release

Use the following link to download a tar archive of the RaML 1.4.2 source code.

raml-1.4.2.tar.gz

To compile and run RaML 1.4.2 you need the following software.

We recommand installing the first three via opam.

RaML is open source software. License information can be found in the file LICENSE in the tar archive.

Detailed build and usage instructions can be found in the README file in the tar archive. Know issues are discussed in the ISSUES files in the tar archive.


RaML 1.3 Release

Use the following link to download a tar archive of the RaML 1.3.1 source code.

raml-1.3.1.tar.gz

To compile and run RaML 1.3.1 you need the following software.

We recommand installing the first three via opam.

Remark: RaML is not compatible with Jane Street's Core and Sexplib version >= 113.00.00. Jane Street made substantial changes in 113.00.00 such as the switch from camlp4 to ppx. One way to ensure to use the right versions of the Jane Street libraries is to install OCaml 4.02.0 via opam as described in the README.

RaML is open source software. License information can be found in the file LICENSE in the tar archive.

Detailed build and usage instructions can be found in the README file in the tar archive. Know issues are discussed in the ISSUES files in the tar archive.


RaML 1.1 Release

Use the following link to download a tar archive of the RaML 1.1 source code.

raml-1.1.tar.gz

To compile and run RaML 1.1 you need the following software.

We recommand installing the first three via opam.

RaML is open source software. License information can be found in the file LICENSE in the tar archive.

Detailed build and usage instructions can be found in the README file in the tar archive. Know issues are discussed in the ISSUES files in the tar archive.


RaML 1.0 Release

Use the following link to download a tar archive of the RaML 1.0 source code.

raml-1.0.tar.gz

To compile and run RaML 1.0 you need the following software.

We recommand installing the first three via opam.

Detailed build and usage instructions can be found in the README file in the tar archive.