package herdtools7

You can search for identifiers within the package.

in-package search v0.2.0

This is herdtools7, a tool suite to test weak 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=3f8196bf9f2a0062120e6ff92da09f24fb673f8f233eaacd04d7a4a25fbad51b

md5=033c4a9fef494cb08ccc07e8f111415a

doc/index.html

herdtools7