herdtools7version

The herdtools suite for simulating and studying weak memory models

AuthorsLuc Maranget <Luc.Maranget@inria.fr> and Jade Alglave <j.alglave@ucl.ac.uk>
LicenseCECILL-B
Published
Homepagehttp://diy.inria.fr/
Issue Trackerhttp://github.com/herd/herdtools7/issues/
MaintainerLuc 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
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.56.3/opam
No package is dependent