package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

herdtools7, a tool suite for shared memory models.

Install

Dune Dependency

diy.inria.fr Edit opam file Versions (20)

Authors

Maintainers

V

Vincent Jacques <vincent@russian-dolls-sunflowers.com>

Sources

sha256=6e7825c7dc538a569d8356e68bd8212c8658d92827148b4700e5ab732d3db0c3

md5=9d21465ad125a056d8e14e4e963c69aa

doc/index.html

herdtools7