package herdtools7

  1. Overview
  2. Docs
The herdtools suite for simulating and studying weak memory models

Install

diy.inria.fr Readme Changelog CECILL-B License Edit opam file

Authors

  1. L
    Luc Maranget <Luc.Maranget@inria.fr>
  2. J
    Jade Alglave <j.alglave@ucl.ac.uk>

Maintainers

  1. L
    Luc Maranget <Luc.Maranget@inria.fr>

Sources

7.56.3.tar.gz
md5=bb7e487284559c04700a682aeed9d039
sha512=cc1bc3f356c3d81fcbae40d75e40a6b8bdc404907fcc9511a329b3f3bbbdef2342d69e55150713ccd3c5ff97652fcf4244c9e5ce707f692ccab6ee9068366145

Description

Published: 10 Feb 2023

Dependencies (3)

  1. menhir >= "20200123"
  2. dune >= "1.4"
  3. ocaml >= "4.08.0"

Dev Dependencies

None

Used by

None