diy testing tool for weak memory models, herd design
OCaml TeX C Smarty Shell Makefile
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
cats/c11
diy
gen
herd
lib
litmus
tools
.gitignore
Makefile
README.txt
all.sh

README.txt

The diy tools, herd design (from 5.99-B)

Includes litmus, herd, generators (diy,diyone,diycross) and some tools

This is a snapshot of the development version.

To compile and install in your home directory (binaries -> $HOME/bin,
library files -> $HOME/lib), just type "make luc" at the root of
the source tree. Then, provided you have $HOME/bin in your path,
all diy commands (such as litmus, diy etc.) can be invoked.

Requirements:
* Ocaml, version at least 4.00
  (Ocaml is available from http://caml.inria.fr/ocaml/)

* Ghostscript, for the GUI components to work