package herdtools7
The herdtools suite for simulating and studying weak memory models
Install
Dune Dependency
Authors
Maintainers
Sources
7.58.tar.gz
md5=f38a754aac334791d011e9c40a0147fb
sha512=a8acfafe1b95867f50cfac41ec5f5d46f10a14babe3c6a34fcb412b89cbeb163de539f19a7f35690cf4ba1420480b0aaa17a7f4429f8482a810b1405bc224f94
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.