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.