My purpose is to slightly adapt Herd7 as my underlying tool for current research project, generating various executions. 😁
Below is the original README:
=====
This is herdtools7, a tool suite to test weak memory models.
We provide the following tools:
- herd7: a generic simulator for weak memory models
- litmus7: run litmus tests (given as assembler programs for Power, ARM or X86) to test the memory model of the executing machine
- diy7: produce litmus tests from concise specifications
- some tools to analyse run logs of both herd and litmus
herdtools7 is the successor of the diy tool suite.
See file INSTALL.md.
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.