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=04703fe1c5f6fab3de7e67e3f6ede4971994bfd758c05823ca3e67748183e83d

md5=0c094431e91b28a3f2de8a9b84954ab0

doc/index.html

herdtools7