diy
Tool suite for testing shared memory models
Description
(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.
Install
- Published
-
24 Oct 2014
- Maintainers
-
Sources
Dependencies
ocamlbuild
build
Reverse Dependencies