mc2lib::memconsistency::model12 Namespace Reference

Memory consistency model framework based on 2012 FMSD paper. More...

Classes
class	Arch_SC
class	Arch_TSO
class	Architecture
class	Checker
class	ExecWitness

Detailed Description

Memory consistency model framework based on 2012 FMSD paper.

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

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