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