package herdtools7
herdtools7, a tool suite for shared memory models.
Install
Dune Dependency
Authors
Maintainers
Sources
7.48.tar.gz
sha256=6e7825c7dc538a569d8356e68bd8212c8658d92827148b4700e5ab732d3db0c3
md5=9d21465ad125a056d8e14e4e963c69aa
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: 14 Feb 2018
Dependencies (2)
-
ocamlbuild
build -
ocaml
>= "4.02.0" & < "5.0.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page