package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

Short description 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=f8fe9a1a096721a2310ba7f1bbf009a834ce59fdd93345aa102917868a5cf3a5

md5=3b8988523ae24e46377457b42d963357

doc/index.html

herdtools7