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