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> |
|---|---|
| License | CECILL-B |
| 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/refs/tags/7.56.2.tar.gz md5=0c3520131bf7e6519dd80b7b5d5bf3a6 sha512=97bc8dc91a9a6eb440aeabb3597c0503e50a36c4a7b5a619a2edc18c4f45667cb56aa5aa2ce3e42a364588acd4929a874220ed3194898fcaf13c9c13a1a01b1a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.56.2/opam |
No package is dependent
