mc2lib::memconsistency::cats Namespace Reference

Memory consistency model framework based on "Herding cats". More...

Classes
class	Arch_ARMv7
class	Arch_SC
class	Arch_TSO
class	Architecture
class	ArchProxy
class	Checker
class	ExecWitness

Detailed Description

Memory consistency model framework based on "Herding cats".

This memory consistency model framework is based upon [1], and [2].

[1] J. Alglave, L. Maranget, M. Tautschnig, "Herding cats: Modelling, Simulation, Testing, and Data Mining for Weak Memory", 2014.

[2] J. Alglave, L. Maranget, S. Sarkar, and P. Sewell. "Fences in weak memory models", 2012.