herdtools7version
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/
| 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.43.tar.gz sha256=f8fe9a1a096721a2310ba7f1bbf009a834ce59fdd93345aa102917868a5cf3a5 md5=3b8988523ae24e46377457b42d963357 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.43/opam |
No package is dependent
