package herdtools7
herdtools7, a tool suite for shared memory models.
Install
Dune Dependency
Authors
Maintainers
Sources
7.49.tar.gz
sha256=e64a437e57f1d7f6d239e0f82b8f0b2fc0ad9ab78ddc0071ff3e09b7ffc1e3ab
md5=6ab37c076a9977bcc1d152eabcc5d969
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: 03 Apr 2018
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