herdtools7

The herdtools suite for simulating and studying weak memory models
Description
Install
Published
15 Jan 2019
Sources
7.52.tar.gz
md5=ac3f1f77d8d4e8fefc988d8fe28b7e60
sha512=be6ae45cea85e60d650699dd88f865fba31cbf8ba5780eff579df4c0a788020905dbd14228eb779b363406a6c06219408f06c2e7c133475d3b821a899e4126d6
Dependencies
ocaml
>= "4.02.0"
Reverse Dependencies