package herdtools7
This is herdtools7, a tool suite to test weak memory models.
Install
Dune Dependency
Authors
Maintainers
Sources
7.42-beta.3.tar.gz
sha256=f671af0285f4b1f19b99e4e73e46fb732eb92ef94afe74e13146447e132ed15d
md5=0ed28e0eb623b252a2621027b1633656
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