package herdtools7

  1. Overview
  2. Docs
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)

  1. ocamlbuild build
  2. ocaml >= "4.02.0" & < "5.0.0"

Dev Dependencies

None

Used by

None

Conflicts

None