Issues
- 2
- 6
RMW atomicity is broken
#36 opened by hernanponcedeleon - 1
- 2
- 0
- 2
Synchronization using control barriers
#34 opened by hernanponcedeleon - 13
Relation between sref and sloc
#31 opened by hernanponcedeleon - 1
- 2
- 3
consistent[X] is too strict
#27 opened by raphlinus - 1
A is in NONPRIV
#23 opened by RobinMorisset - 4
- 5
Does visible-to apply to atomic reads?
#6 opened by RobinMorisset - 0
- 1
"- (sthd & ref)" in the definition of datarace can be replaced by "- iden"
#18 opened by RobinMorisset - 1
- 3
- 2
- 2
- 1
Redundant use of storage[CBAR] in the last line of the definition of synchronizes-with
#3 opened by RobinMorisset - 0
Redundant use of sloc in locord
#2 opened by RobinMorisset - 3
Typo in the definition of ithbsemsc1
#1 opened by RobinMorisset - 3