package herdtools7
herdtools7, a tool suite for shared memory models.
Install
Dune Dependency
Authors
Maintainers
Sources
7.44.tar.gz
sha256=456574ed30d5d24a55f5fcf223df670b5096beda2325313be7ad8a6dd9815e3f
md5=e3e0a250412fab3370aead62d3edc468
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: 01 Mar 2017
Dependencies (2)
-
ocamlbuild
build
-
ocaml
>= "4.02.0" & < "5.0.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page