Alloy models for automatic synthesis of memory model litmus test suites (from ASPLOS 2017) - View it on GitHub