herdtools7version

The herdtools suite for simulating and studying weak memory models

AuthorsLuc Maranget <Luc.Maranget@inria.fr>, Jade Alglave <j.alglave@ucl.ac.uk> and Vincent Jacques <vincent@russian-dolls-sunflowers.com>
Published
Homepagehttp://diy.inria.fr/
Issue Trackerhttp://github.com/herd/herdtools7/issues/
MaintainerLuc Maranget <Luc.Maranget@inria.fr>
Dependencies
Source [http] https://github.com/herd/herdtools7/archive/7.55.tar.gz
md5=bfbc6a65be8774f07714745f25072996
sha512=cc0ad17af5f74433e442e4fc1a82227002cb00b5ff6d1eb3f80673001075e0fe26e654db5c7ee8eb53fc5a650c6eb76d586660f9099f2622894479946d1b0116
StatisticsInstalled 21 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/herdtools7/herdtools7.7.55/opam
No package is dependent