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

7.42-beta.3.tar.gz

sha256=f671af0285f4b1f19b99e4e73e46fb732eb92ef94afe74e13146447e132ed15d

md5=0ed28e0eb623b252a2621027b1633656

doc/index.html

herdtools7