package herdtools7
This is herdtools7, a tool suite to test weak memory models.
Install
Dune Dependency
Authors
Maintainers
Sources
7.42.tar.gz
sha256=3f8196bf9f2a0062120e6ff92da09f24fb673f8f233eaacd04d7a4a25fbad51b
md5=033c4a9fef494cb08ccc07e8f111415a
Description
We provide the following tools:
- herd7: a generic simulator for weak memory models
- litmus7: run litmus tests (given as assembler programs for Power, ARM or X86) to test the memory model of the executing machine
- diy7: produce litmus tests from concise specifications
- some tools to analyse run logs of both herd and litmus
herdtools7 is the successor of the diy tool suite.
Published: 28 Nov 2016
Dependencies (2)
-
ocamlbuild
build -
ocaml
>= "4.02.0" & < "5.0.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page