Here's a tool suite to simulate and run memory model litmus tests (on real hardware): https://github.com/herd/herdtools7 https://github.com/herd/herdtools7 The

Here's a tool suite to simulate and run memory model litmus tests (on real hardware): https://github.com/herd/herdtools7 https://github.com/herd/herdtools7 The simulation tool can also generate relation graphs similar to those of the blog.