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=617c73657f2cac338c1c214664e662fedc6538a1d455561e52a0e2d85428cea7

md5=53a4faf0be9efae36edf1b165706db62

doc/index.html

herdtools7