The herdtools suite for simulating and studying weak memory models
Description

Install

Documentation diy.inria.fr Edit opam file

Published

15 Jan 2019

Authors

Maintainers

Sources

7.52.tar.gz
md5=ac3f1f77d8d4e8fefc988d8fe28b7e60
sha512=be6ae45cea85e60d650699dd88f865fba31cbf8ba5780eff579df4c0a788020905dbd14228eb779b363406a6c06219408f06c2e7c133475d3b821a899e4126d6

Dependencies

ocamlbuild build
ocaml >= "4.02.0" & < "5.0.0"

Reverse Dependencies

None

Conflicts

None