package herdtools7
The herdtools suite for simulating and studying weak memory models
Install
Dune Dependency
Authors
Maintainers
Sources
7.56.1.tar.gz
md5=d9a0527a4f99b3b581f4e822e1f8cc32
sha512=53a878d689e0c9130da82f7c1b10f7bd9014009b8b6d002025866424ddd3c3e1dfbcefc189fc0ee5e754894a5052253291e6db939d89888b0b87de0bb4a3fee3