diyversion Documentation on ocaml.org
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.
| Author | Luc Maranget <Luc.Maranget@inria.fr>, Susmit Sarkar <ss265@st-andrews.ac.uk>, Jade Alglave <j.alglave@ucl.ac.uk > |
|---|---|
| License | LGPL-2.0-or-later |
| Published | |
| Homepage | http://diy.inria.fr/ |
| Issue Tracker | https://github.com/herd/herdtools7/issues |
| Maintainer | Thibault Suzanne <thi.suzanne@gmail.com> |
| Dependencies |
|
| Source [http] | http://diy.inria.fr/sources/old/diy-5.01.tar.gz sha256=36d7de769da2d33658056e8c9bfb7ad2616a9e5256472cd1db8296f9b875d703 md5=0aac7ad1013b0e15ac595d86b1d130cb |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/diy/diy.5.01/opam |
No package is dependent
