aboutsummaryrefslogtreecommitdiff
path: root/src/memory-model-operational.tex
AgeCommit message (Expand)AuthorFilesLines
2019-01-31Operational memory model and litmus tests are in GitHub (#335)Shaked Flur1-5/+26
2018-12-02Use American English spelling for consistencyAndrew Waterman1-6/+6
2018-11-20Fix minor typos in the operational model. (#277)Prashanth Mundkur1-8/+8
2018-08-02Minor change to the operational memory model (#216)Shaked Flur1-1/+2
2018-05-02Updates to the memory consistency model specDaniel Lustig1-0/+658