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.

AuthorsLuc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com>
Published
Homepagehttp://diy.inria.fr/
Issue Trackerhttp://github.com/herd/herdtools7/issues/
MaintainerVincent Jacques <vincent@russian-dolls-sunflowers.com>
Dependencies
Source [http] https://github.com/herd/herdtools7/archive/7.42-beta.3.tar.gz
md5=0ed28e0eb623b252a2621027b1633656
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.42-beta.3/opam
No package is dependent