Sources of diy, version 5.01.
The diy suite includes:
a tool to run tests on hardware,
(proper) a set of test generators,
an automated front-end.
Complete tool suite: diy-5.01.tar.gz.
suite is written in the
OCaml programming language
and requires a version of OCaml as recent as 3.12.0.
Sources of litmus
Provided in case you wish to install litmus only.
This source compiles just fine with older versions of OCaml.