https://github.com/herd/herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)
https://github.com/herd/herdtools7

Last synced: 2 months ago
JSON representation

The Herd toolsuite to deal with .cat memory models (version 7.xx)

• Host: GitHub
• URL: https://github.com/herd/herdtools7
• Owner: herd
• License: other
• Created: 2016-11-07T17:35:54.000Z (about 8 years ago)
• Default Branch: master
• Last Pushed: 2024-04-13T22:24:29.000Z (9 months ago)
• Last Synced: 2024-04-14T12:17:15.322Z (9 months ago)
• Language: OCaml
• Size: 43.4 MB
• Stars: 194
• Watchers: 23
• Forks: 48
• Open Issues: 46
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGES.txt
  • License: LICENSE.txt

Awesome Lists containing this project

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, 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/

[email protected]

Compilation and installation

============================

See file [INSTALL.md](INSTALL.md).

Contributing

============

This repository uses the [Pre-Commit tool](https://pre-commit.com) to manage

pre-commit validation, to check for formatting, test regressions, etc.

Pre-Commit can be installed on macOS with [Homebrew](https://brew.sh), 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

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](LICENSE.txt).