From: Brian Norris <banorris@uci.edu>
Date: Wed, 8 May 2013 17:09:52 +0000 (-0700)
Subject: execution: bugfix - resolved promises should propagate synchronization
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=741d3d1160343d8545a783a2d05d3d0562b1c737;hp=741d3d1160343d8545a783a2d05d3d0562b1c737

execution: bugfix - resolved promises should propagate synchronization

A new write ModelAction may resolve a Promise, completing a release
sequence and updating the read's clock vector. This update should be
propagated to any ModelAction later in the execution order which had
previously "happened after" the read.
---