package diy

  1. Overview
  2. Docs
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)

  1. ocamlbuild build
  2. ocaml >= "3.12" & < "5.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.