model: set 'last action in thread' as an action's parent
authorBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:45:54 +0000 (12:45 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 28 May 2012 19:54:32 +0000 (12:54 -0700)
commita7c74db9679fc8ea70f1e14eda1ab2cee6f27740
tree4cf0a66c32ee48a1f2f8e2e3cb1b93b77d9218b8
parentb33a4fd70ac89ed0bf5e276421dd52ee04679c94
model: set 'last action in thread' as an action's parent

This is a step toward synchronizing clock vectors properly: on exploration of
an action, we use only the last action in the current thread as the 'parent'
(or NULL).

Note that this still does not include the parent thread in determining each
ModelAction's parent.
model.cc