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.tar.gz sha256=3f8196bf9f2a0062120e6ff92da09f24fb673f8f233eaacd04d7a4a25fbad51b md5=033c4a9fef494cb08ccc07e8f111415a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.42/opam |
No package is dependent
