diy

Author Luc Maranget <Luc.Maranget@inria.fr>, Susmit Sarkar <ss265@st-andrews.ac.uk>, Jade Alglave <j.alglave@ucl.ac.uk >
License LGPL
Homepage http://diy.inria.fr/
Issue Tracker https://github.com/herd/herdtools7/issues
Maintainer Thibault Suzanne <thi.suzanne@gmail.com>
Dependencies
ocamlbuild
Available "ocaml-version" >= "3.12"
Published Oct 23, 2014
Source [http] http://diy.inria.fr/sources/old/diy-5.01.tar.gz
0aac7ad1013b0e15ac595d86b1d130cb
Statistics Installed 4 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/diy/diy.5.01/opam

Tool suite for testing shared memory models

(don't) diy is a tool suite: litmus runs assembly tests against hardware, diy proper generates assembly tests from concise specifications, and don't automatically either checks the conformance of a machine to a given model, or explores the features exhibited by a machine.

No package is dependent