package diy

  1. Overview
  2. Docs

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