aboutsummaryrefslogtreecommitdiff
path: root/src/memory.tex
AgeCommit message (Expand)AuthorFilesLines
2022-01-10Clarify forbidden execution scenarios in A.1 litmus test (#809)Daniel Mangum1-1/+1
2021-09-09Fix a typo in Figure A.13. (#733)Daniel Lustig1-1/+1
2021-06-06Remove RVWMO from list of required PMAs for C11 mappingAndrew Waterman1-1/+0
2021-06-06Remove T placeholder chapterAndrew Waterman1-1/+0
2021-06-04State PMAs that are required for these mappings.Josh Scheid1-0/+10
2021-05-23Fix hyphenationAndrew Waterman1-7/+7
2019-12-27Fix FENCE.I cross-referenceAndrew Waterman1-1/+1
2019-08-29Fix outcome description for Figure A.15Andrew Waterman1-1/+1
2019-01-31Operational memory model and litmus tests are in GitHub (#335)Shaked Flur1-2/+8
2018-10-09Some edits and fixes to memory model sections. (#238)Prashanth Mundkur1-10/+10
2018-09-18Fix Figure A.2 to make it draw the correct test (#228)Daniel Lustig1-1/+1
2018-07-06Merge branch 'misc-fixes' of https://github.com/tymcauley/riscv-isa-manual in...Andrew Waterman1-1/+1
2018-07-05Version the appendices.Daniel Lustig1-5/+9
2018-06-25Typo: Figure A.7 -> Table A.7Daniel Lustig1-1/+1
2018-06-25Correct some memory model explanation typos.Daniel Lustig1-3/+3
2018-06-22Fixed spelling error in memory.tex.Tynan McAuley1-1/+1
2018-06-20Clarify that AMOs are always semantically storesDaniel Lustig1-1/+1
2018-06-18Correct an instance of lr{w|d}.aq.rl to lr{w|d}.aqrl (#199)Alex Bradbury1-1/+1
2018-05-02Updates to the memory consistency model specDaniel Lustig1-1103/+910
2017-12-13Fix typoDaniel Lustig1-1/+1
2017-12-12Add memory consistency model draft proposalAndrew Waterman1-227/+0
2017-12-12Add (but don't integrate) memory model chapterAndrew Waterman1-0/+1838