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