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.52.tar.gz md5=ac3f1f77d8d4e8fefc988d8fe28b7e60 sha512=be6ae45cea85e60d650699dd88f865fba31cbf8ba5780eff579df4c0a788020905dbd14228eb779b363406a6c06219408f06c2e7c133475d3b821a899e4126d6 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.52/opam |
No package is dependent
