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.56.3.tar.gz md5=bb7e487284559c04700a682aeed9d039 sha512=cc1bc3f356c3d81fcbae40d75e40a6b8bdc404907fcc9511a329b3f3bbbdef2342d69e55150713ccd3c5ff97652fcf4244c9e5ce707f692ccab6ee9068366145 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.56.3/opam |
No package is dependent
