herdtools7

AuthorsLuc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com>
Homepagehttp://diy.inria.fr/
Issue Trackerhttp://github.com/herd/herdtools7/issues/
MaintainerVincent Jacques <vincent@russian-dolls-sunflowers.com>
Dependencies
ocamlbuild
Availableocaml-version >= "4.02.0"
PublishedNov 28, 2016
Source [http] https://github.com/herd/herdtools7/archive/7.42.tar.gz
033c4a9fef494cb08ccc07e8f111415a
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.42/opam

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.

No package is dependent