Closed jleidel closed 4 years ago
This should be a selection list that includes "Weak", "TSO" and "Strong". Use the "GetMemOrder()" and "SetMemOrder()" functions
https://github.com/opensocsysarch/CoreGen/issues/2
This should be a selection list that includes "Weak", "TSO" and "Strong". Use the "GetMemOrder()" and "SetMemOrder()" functions