mc2lib
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Classes | Namespaces
model12.hpp File Reference
#include <memory>
#include "eventsets.hpp"

Go to the source code of this file.

Classes

class  mc2lib::memconsistency::model12::ExecWitness
 
class  mc2lib::memconsistency::model12::Architecture
 
class  mc2lib::memconsistency::model12::Checker
 
class  mc2lib::memconsistency::model12::Arch_SC
 
class  mc2lib::memconsistency::model12::Arch_TSO
 

Namespaces

 mc2lib
 
 mc2lib::memconsistency
 Various formal models for expressing memory consistency semantics.
 
 mc2lib::memconsistency::model12
 Memory consistency model framework based on 2012 FMSD paper.