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.47.tar.gz
sha256=04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d
md5=0c094431e91b28a3f2de8a9b84954ab0
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.47/opam
No package is dependent