herdtools7version
The herdtools suite for simulating and studying weak memory models
| Authors | Luc Maranget <Luc.Maranget@inria.fr> and Jade Alglave <j.alglave@ucl.ac.uk> |
|---|---|
| Published | |
| Homepage | http://diy.inria.fr/ |
| Issue Tracker | http://github.com/herd/herdtools7/issues/ |
| Maintainer | Luc Maranget <Luc.Maranget@inria.fr> |
| Dependencies | |
| Source [http] | https://github.com/herd/herdtools7/archive/7.56.tar.gz md5=7dbe6469ed2450d753f2c4771413dbb0 sha512=795836ea09c6c4aebb53f1e2c2e646ab1483f74d8c933ab800161a8a9646c3baa0aaba092005438b831a31cbc455416a18cbcb4ebc54cd2ba11cc4bfccf894f0 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.56/opam |
No package is dependent
