herdtools7version
This is herdtools7, a tool suite to test weak memory models.
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.
| Authors | Luc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com> |
|---|---|
| Published | |
| Homepage | http://diy.inria.fr/ |
| Issue Tracker | http://github.com/herd/herdtools7/issues/ |
| Maintainer | Vincent Jacques <vincent@russian-dolls-sunflowers.com> |
| Dependencies |
|
| Source [http] | https://github.com/herd/herdtools7/archive/7.42-beta.3.tar.gz sha256=f671af0285f4b1f19b99e4e73e46fb732eb92ef94afe74e13146447e132ed15d md5=0ed28e0eb623b252a2621027b1633656 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.42-beta.3/opam |
No package is dependent
