herdtools7version

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/

AuthorsLuc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com>
Published
Homepagehttp://diy.inria.fr/
Issue Trackerhttp://github.com/herd/herdtools7/issues/
MaintainerVincent Jacques <vincent@russian-dolls-sunflowers.com>
Dependencies
Source [http] https://github.com/herd/herdtools7/archive/7.45.tar.gz
sha256=617c73657f2cac338c1c214664e662fedc6538a1d455561e52a0e2d85428cea7
md5=53a4faf0be9efae36edf1b165706db62
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.45/opam
No package is dependent