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.


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.