package herdtools7
The herdtools suite for simulating and studying weak memory models
Install
Dune Dependency
Authors
Maintainers
Sources
7.57.tar.gz
md5=94f321f138662ba84f519376b6a9ec44
sha512=08c6d99e8bcd1774f40daed2965f286401404dbf42c4871246edd5b64ce4fd89ead1f36d2c6d7bfc534d769888cf61b0c8cd6decca9434272c32cbef1bcd29ba
doc/index.html
Herdtools7
Welcome!
The documentation for herdtools7 is at https://diy.inria.fr/.
The sources of herdtools7 are at https://github.com/herd/herdtools7.