herdtools7

Authors { Luc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk>, Vincent Jacques <vincent@russian-dolls-sunflowers.com> }
Homepage http://diy.inria.fr/
Issue Tracker http://github.com/herd/herdtools7/issues/
Maintainer Vincent Jacques <vincent@russian-dolls-sunflowers.com>
Dependencies
ocamlbuild
Available ocaml-version >= "4.02.0"
Published Dec 2, 2016
Source [http] http://github.com/herd/herdtools7/archive/7.43.tar.gz
3b8988523ae24e46377457b42d963357
Statistics Installed 48 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.43/opam

Short description herdtools7, a tool suite for shared memory models.

Long description

herdtools7 is a tool suite for testing shared memory models.

We provide several tools, litmus7 for running tests, diy7 generators for producing tests from concise specifications, and herd7 for simulating memory models.

See also http://diy.inria.fr/

No package is dependent