projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a0000d) | patch
execution: refactor common CV propagation into its own function
authorBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:05:44 +0000 (10:05 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:09:37 +0000 (10:09 -0700)
commitdd1f275d3e8042282bad49cf85fddfc2a5735166
treebac3b908b5bce1239448f2f55d43582906449cb5tree | snapshot
parent4a0000d96b695d084ffa930564a267d15abd91afcommit | diff
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.
execution.cc diff | blob | history
execution.h diff | blob | history
C++11 memory model checker