First stab at a happens-before graph.
Resolve conflicts.
Resolve conflicts.
Fix happens-before relationship.
Second stab at DPOR.
Merge with master.
Documentation.