XuankangLin / herdtools7

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

Home

http://diy.inria.fr/

diy-devel@inria.fr

Compilation and installation

See file INSTALL.md.

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.

About

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

License:Other


Languages

Language:OCaml 95.0%Language:C 4.7%Language:Shell 0.2%Language:Standard ML 0.1%Language:C++ 0.0%Language:Awk 0.0%Language:Makefile 0.0%