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.
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