diy

AuthorLuc Maranget <Luc.Maranget@inria.fr>, Susmit Sarkar <ss265@st-andrews.ac.uk>, Jade Alglave <j.alglave@ucl.ac.uk >
LicenseLGPL
Homepagehttp://diy.inria.fr/
Issue Trackerhttps://github.com/herd/herdtools7/issues
MaintainerThibault Suzanne <thi.suzanne@gmail.com>
Dependencies
ocamlbuild
Available"ocaml-version" >= "3.12"
PublishedOct 23, 2014
Source [http] http://diy.inria.fr/sources/old/diy-5.01.tar.gz
0aac7ad1013b0e15ac595d86b1d130cb
StatisticsInstalled 3 times last month.
Edithttps://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