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=e64a437e57f1d7f6d239e0f82b8f0b2fc0ad9ab78ddc0071ff3e09b7ffc1e3ab

md5=6ab37c076a9977bcc1d152eabcc5d969

doc/index.html

herdtools7