/litmustestgen

Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)

Primary LanguageAlloyBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

No issues in this repository yet.