package herdtools7
The herdtools suite for simulating and studying weak memory models
Install
Dune Dependency
Authors
Maintainers
Sources
7.52.tar.gz
md5=ac3f1f77d8d4e8fefc988d8fe28b7e60
sha512=be6ae45cea85e60d650699dd88f865fba31cbf8ba5780eff579df4c0a788020905dbd14228eb779b363406a6c06219408f06c2e7c133475d3b821a899e4126d6
Description
Published: 15 Jan 2019
Dependencies (2)
-
ocamlbuild
build -
ocaml
>= "4.02.0" & < "5.0.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page