The herdtools7 memory model tutorial

Contents:

1. Software Setup Instructions
2. Memory models and the cat language
3. Arm Memory Effects
4. Arm Memory Model
5. Arm Dependencies

This document was translated from L^AT_EX by H^EV^EA.