Formalization of results about RA and SRA
Version 1.1, released 2016-12-20
- Properties of relations (ported from ssrfun.v)
- Basic properties of relations
- Definition of actions
- Definitions of RA and SRA
- Validity of program transformations
- Fences and Reduction to SC
- Definition of TSO and relation to SRA
- Definition of the Power memory model
- Correspondence between SRA and SRArmw
- Equivalence between SRArmw and Power-RA
This page has been generated by coqdoc