package herdtools7
The herdtools suite for simulating and studying weak memory models
Install
Dune Dependency
Authors
Maintainers
Sources
7.58.tar.gz
md5=f38a754aac334791d011e9c40a0147fb
sha512=a8acfafe1b95867f50cfac41ec5f5d46f10a14babe3c6a34fcb412b89cbeb163de539f19a7f35690cf4ba1420480b0aaa17a7f4429f8482a810b1405bc224f94
Description
Published: 13 Feb 2025
Dependencies (5)
- conf-which
-
zarith
>= "1.13" -
menhir
>= "20200123" -
dune
>= "2.7" -
ocaml
>= "4.08.0"
Dev Dependencies
None
Used by
None
Conflicts (1)
On This Page