diy testing tool for weak memory models, herd design
Primary LanguageOCaml
No issues in this repository yet.