herdtools7

AuthorsLuc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com>
Homepagehttp://diy.inria.fr/
Issue Trackerhttp://github.com/herd/herdtools7/issues/
MaintainerVincent Jacques <vincent@russian-dolls-sunflowers.com>
Dependencies
ocamlbuild
Availableocaml-version >= "4.02.0"
PublishedApr 3, 2018
Source [http] https://github.com/herd/herdtools7/archive/7.49.tar.gz
6ab37c076a9977bcc1d152eabcc5d969
StatisticsInstalled 17 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.49/opam

herdtools7, a tool suite for shared memory models.

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