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.