Add litmus1 test
Rename to litmus.pml and add 2nd test
Revert back to litmus1...
Merge branch 'master' of https://github.com/crazysheeep/x86-tso
Add more litmus tests
Justify tso model