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/
| Authors | Luc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com> |
|---|---|
| Published | |
| Homepage | http://diy.inria.fr/ |
| Issue Tracker | http://github.com/herd/herdtools7/issues/ |
| Maintainer | Vincent Jacques <vincent@russian-dolls-sunflowers.com> |
| Dependencies |
|
| Source [http] | https://github.com/herd/herdtools7/archive/7.51.tar.gz sha256=f12087a32192588a54ef98c72dc7adae627755e77d0985b3dab88e3119c0b0c3 md5=e33078375362610343508d267748abc4 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.51/opam |
No package is dependent
