herd / herdtools7
The Herd toolsuite to deal with .cat memory models (version 7.xx)
AI Architecture Analysis
This repository is indexed by RepoMind. By analyzing herd/herdtools7 in our AI interface, you can instantly generate complete architecture diagrams, visualize control flows, and perform automated security audits across the entire codebase.
Our Agentic Context Augmented Generation (Agentic CAG) engine loads full source files into context on-demand, avoiding the fragmentation of traditional RAG systems. Ask questions about the architecture, dependencies, or specific features to see it in action.
Embed this Badge
Showcase RepoMind's analysis directly in your repository's README.
Repository Overview (README excerpt)
Crawler viewThis 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, AArch64 or X86) to test the memory model of the executing machine • diy7: produce litmus tests from concise specifications • some additional tools In particular, • mcompare7 to analyse run logs of both herd and litmus. • klitmus7, an experimental tool, similar to litmus7 that runs kernel memory model tests as kernel modules. The tool klitmus7 is inspired from a python script by Andrea Parri,. herdtools7 is the successor of the diy tool suite. Home ==== http://diy.inria.fr/ diy-devel@inria.fr Compilation and installation ============================ See file INSTALL.md. Contributing ============ 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 : # 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 , add it to your Git repository's local 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 License ======= 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.