cats.hpp File Reference

#include <memory>
#include "eventsets.hpp"

Go to the source code of this file.

Classes
class	mc2lib::memconsistency::cats::ExecWitness
class	mc2lib::memconsistency::cats::Architecture
class	mc2lib::memconsistency::cats::ArchProxy< ConcreteArch >
class	mc2lib::memconsistency::cats::Checker
class	mc2lib::memconsistency::cats::Arch_SC
class	mc2lib::memconsistency::cats::Arch_TSO
class	mc2lib::memconsistency::cats::Arch_ARMv7

Namespaces
	mc2lib
	mc2lib::memconsistency
	Various formal models for expressing memory consistency semantics.
	mc2lib::memconsistency::cats
	Memory consistency model framework based on "Herding cats".