GitHub - vinodgro/herdtools: diy testing tool for weak memory models, herd design

vinodgro / herdtools Public

Notifications You must be signed in to change notification settings
Fork 6
Star 2

diy testing tool for weak memory models, herd design

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 736 Commits
diy		diy
gen		gen
herd		herd
lib		lib
litmus		litmus
tools		tools
.gitignore		.gitignore
Makefile		Makefile
README.txt		README.txt
all.sh		all.sh

Repository files navigation

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