mc2lib
|
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. | |