A diy tutorialVersion 1.0January 17, 2010 |
diy is a tool suite for testing shared memory models. We provide two tools, litmus (Part I) for running tests, and diy proper (Part II) for producing tests from concise specifications. The software is written in Objective Caml, and released as sources. The web site of diy is http://diy.inria.fr/, authors can be contacted at diy-devel@inria.fr
This software is released under the terms of the Lesser GNU Public License.
This document in Postscript and Pdf.
This document was translated from LATEX by HEVEA.