Eliminate system context
fix tabbing
Bug fixes from running Coverity
don't include action.h from model.h
model: return value from switch_to_master
impatomic: remove fence member functions Recent C/C++ drafts do not include fence() as a member function for any object. All fences apply globally (not to any particular object). [ These changes came in the ISO papers N2633, N2731, N2752 ] So, I discard any reference to a fence that is associated with an object (i.e., as a member of an object or with an object parameter). I will implement a replacement shortly, which just uses the _ATOMIC_FENCE_(order) macro.
rename threads.h -> threads-model.h There's a name conflict with the C11 <threads.h> We might as well just avoid the conflict entirely
modeltypes: move small typedefs to own header To prevent some unnecessary inter-header dependencies, we can move some simple typedefs to a modeltypes.h header.
towards making rmw work... [Split by Brian Norris]
don't forget this file