package hardcaml_step_testbench

  1. Overview
  2. Docs
Hardcaml Testbench Monad

Install

Dune Dependency

Authors

Maintainers

Sources

v0.17.0.tar.gz
sha256=a21b13cf03b84f06471e7c31ecbac8df1b08f8ac1156d0f3a41d2250ea293b2f

CHANGES.md.html

Release v0.17.0

  • Parameterize the step monad by an Input_monad. This allows the step testbench to control both Cyclesim and Event_driven_sim simulators.

  • Implement an Imperative step monad interface. Rename the previous version to the Functional step monad. The imperative style no longer controls or constrains port access to the underlying simulator. It is simpler to use (especially spawning sub tasks), but arguably less safe.

Release v0.16.0

  • Add [Step.List.iter2_exn].

OCaml

Innovation. Community. Security.