This is herdtools7, a tool suite to test weak memory models.
We provide the following tools:
herdtools7 is the successor of the diy tool suite.
diy-devel@inria.fr
See file INSTALL.md.
This repository uses the Pre-Commit tool to manage pre-commit validation, to check for formatting, test regressions, etc.
Pre-Commit can be installed on macOS with Homebrew, or on
all platforms with Python's pip
:
# macOS with Homebrew.
% brew install pre-commit
# All other OS (including macOS without Homebrew).
% pip install pre-commit
To make Pre-Commit run automatically when you git commit
, add it to your Git
repository's local pre-commit
hooks. From within this repository, run:
% pre-commit install
When adding a new pre-commit check, please run Pre-Commit manually first:
% pre-commit run --all-files
The authors of the diy7 tool suite are Jade Alglave and Luc Maranget.
Copyright 2010 -- present: Institut National de Recherche en Informatique et en Automatique, and the authors.
Diy7 is released under the terms of the CeCILL-B free software license agreement. See file LICENSE.txt.