package herdtools7
The herdtools suite for simulating and studying weak memory models
Install
Dune Dependency
Authors
Maintainers
Sources
7.56.tar.gz
md5=7dbe6469ed2450d753f2c4771413dbb0
sha512=795836ea09c6c4aebb53f1e2c2e646ab1483f74d8c933ab800161a8a9646c3baa0aaba092005438b831a31cbc455416a18cbcb4ebc54cd2ba11cc4bfccf894f0