lihanglin / litmustestgen Goto Github PK
View Code? Open in Web Editor NEWThis project forked from nvlabs/litmustestgen
Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017)
License: BSD 3-Clause "New" or "Revised" License