mc2lib
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
Namespaces
mc2lib Namespace Reference

Namespaces

 codegen
 Code generation for memory consistency verification.
 
 mcversi
 Implementations of algorithms from McVerSi paper.
 
 memconsistency
 Various formal models for expressing memory consistency semantics.
 
 sets
 Sets and maps exposed in a restricted set of set theory.
 
 simplega
 Simple Genetic Algorithm library.
 
 types
 Common types.