Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2019-01-31 | Operational memory model and litmus tests are in GitHub (#335) | Shaked Flur | 1 | -5/+26 |
2018-12-02 | Use American English spelling for consistency | Andrew Waterman | 1 | -6/+6 |
2018-11-20 | Fix minor typos in the operational model. (#277) | Prashanth Mundkur | 1 | -8/+8 |
2018-08-02 | Minor change to the operational memory model (#216) | Shaked Flur | 1 | -1/+2 |
2018-05-02 | Updates to the memory consistency model spec | Daniel Lustig | 1 | -0/+658 |