herdtools7version

The herdtools suite for simulating and studying weak memory models

AuthorsLuc Maranget <Luc.Maranget@inria.fr> and Jade Alglave <j.alglave@ucl.ac.uk>
Published
Homepagehttp://diy.inria.fr/
Issue Trackerhttp://github.com/herd/herdtools7/issues/
MaintainerLuc Maranget <Luc.Maranget@inria.fr>
Dependencies
Source [http] https://github.com/herd/herdtools7/archive/7.56.tar.gz
md5=7dbe6469ed2450d753f2c4771413dbb0
sha512=795836ea09c6c4aebb53f1e2c2e646ab1483f74d8c933ab800161a8a9646c3baa0aaba092005438b831a31cbc455416a18cbcb4ebc54cd2ba11cc4bfccf894f0
StatisticsInstalled 6 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.56/opam
No package is dependent