package herdtools7
herdtools7, a tool suite for shared memory models.
Install
Dune Dependency
Authors
Maintainers
Sources
7.51.tar.gz
sha256=f12087a32192588a54ef98c72dc7adae627755e77d0985b3dab88e3119c0b0c3
md5=e33078375362610343508d267748abc4
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/
Published: 31 Jul 2018
Dependencies (2)
-
ocamlbuild
build -
ocaml
>= "4.02.0" & < "5.0.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page