ARM Litmus Tests

Jade Alglave, Luc Maranget, Susmit Sarkar, Peter Sewell

This is a collection of ARM litmus tests: analogues of the POWER litmus tests used in our PLDI paper.


This document was translated from LATEX by HEVEA.