diyversion

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.

AuthorLuc Maranget <Luc.Maranget@inria.fr>, Susmit Sarkar <ss265@st-andrews.ac.uk>, Jade Alglave <j.alglave@ucl.ac.uk >
LicenseLGPL-2.0-or-later
Published
Homepagehttp://diy.inria.fr/
Issue Trackerhttps://github.com/herd/herdtools7/issues
MaintainerThibault Suzanne <thi.suzanne@gmail.com>
Dependencies
Source [http] http://diy.inria.fr/sources/old/diy-5.01.tar.gz
sha256=36d7de769da2d33658056e8c9bfb7ad2616a9e5256472cd1db8296f9b875d703
md5=0aac7ad1013b0e15ac595d86b1d130cb
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/diy/diy.5.01/opam
No package is dependent