Errata for Simplifying ARM Concurrency: Multicopy-atomic Axiomatic and Operational Models for ARMv8

Main paper

Full Flat model description

The full model text description in the supplementary material is a revision of an older description; the description incorrectly does not reflect two changes in the semantics of load/store exclusive instructions of the formal model (and that the proof assumes).