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 |
|
| Conflicts | |
| Source [http] | https://github.com/herd/herdtools7/archive/refs/tags/7.58.tar.gz md5=f38a754aac334791d011e9c40a0147fb sha512=a8acfafe1b95867f50cfac41ec5f5d46f10a14babe3c6a34fcb412b89cbeb163de539f19a7f35690cf4ba1420480b0aaa17a7f4429f8482a810b1405bc224f94 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.58/opam |
No package is dependent
