package diy
Tool suite for testing shared memory models
Install
Dune Dependency
Authors
Maintainers
Sources
diy-5.01.tar.gz
sha256=36d7de769da2d33658056e8c9bfb7ad2616a9e5256472cd1db8296f9b875d703
md5=0aac7ad1013b0e15ac595d86b1d130cb
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.
Published: 24 Oct 2014
Dependencies (2)
-
ocamlbuild
build
-
ocaml
>= "3.12" & < "5.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page