From: Brian Norris <banorris@uci.edu>
Date: Wed, 8 May 2013 17:05:44 +0000 (-0700)
Subject: execution: refactor common CV propagation into its own function
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=commitdiff_plain;h=dd1f275d3e8042282bad49cf85fddfc2a5735166;hp=dd1f275d3e8042282bad49cf85fddfc2a5735166

execution: refactor common CV propagation into its own function

There are a few occasions where we want to "fixup" a series of clock
vectors after establishing lazy synchronization (and one place where we
currently have a bug). Refactor this out to its own function so I can
reuse it elsewhere.
---