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/7.56.1.tar.gz md5=d9a0527a4f99b3b581f4e822e1f8cc32 sha512=53a878d689e0c9130da82f7c1b10f7bd9014009b8b6d002025866424ddd3c3e1dfbcefc189fc0ee5e754894a5052253291e6db939d89888b0b87de0bb4a3fee3 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.56.1/opam |
No package is dependent
