herdtools7version
The herdtools suite for simulating and studying weak memory models
| Authors | Luc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com> |
|---|---|
| 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.54.tar.gz md5=ffc58bca7f8c8c5ba1d3c65881d737b4 sha512=63ebe937b8a651ec9918a8c4a70a41cba611fa8528a20b246732e0ec1bdb6e852e5936b8860f566d4973a9945cd44d1df6eb87c4e5c7704073565c07c8f75f20 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.54/opam |
No package is dependent
