aboutsummaryrefslogtreecommitdiff
path: root/src/memory.tex
AgeCommit message (Expand)AuthorFilesLines
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