/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

Stargazers

No one’s star this repository yet.