package herdtools7

  1. Overview
  2. Docs
herdtools7, a tool suite for shared memory models.

Install

Dune Dependency

Authors

Maintainers

Sources

7.44.tar.gz
sha256=456574ed30d5d24a55f5fcf223df670b5096beda2325313be7ad8a6dd9815e3f
md5=e3e0a250412fab3370aead62d3edc468

doc/index.html

herdtools7

OCaml

Innovation. Community. Security.