Stability in Weak Memory Models

Long version of the paper with proofs, and supplementary tables

Offence

Guided tour of the development