package herdtools7

  1. Overview
  2. Docs
Short description herdtools7, a tool suite for shared memory models.

Install

Dune Dependency

Authors

Maintainers

Sources

7.43.tar.gz
sha256=f8fe9a1a096721a2310ba7f1bbf009a834ce59fdd93345aa102917868a5cf3a5
md5=3b8988523ae24e46377457b42d963357

Description

Long description

herdtools7 is a tool suite for testing shared memory models.

We provide several tools, litmus7 for running tests, diy7 generators for producing tests from concise specifications, and herd7 for simulating memory models.

See also http://diy.inria.fr/

Published: 02 Dec 2016

Dependencies (2)

  1. ocamlbuild build
  2. ocaml >= "4.02.0" & < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.