projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a75079) | patch
nodestack: create ModelAction clock vectors
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 02:16:06 +0000 (19:16 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 03:39:00 +0000 (20:39 -0700)
commitbadfcf21c3b782bee736e936132e3c6873859053
treec21d253c5de66f23c400d9d044f197e67cfa2186tree | snapshot
parent1a75079a60d2788bad4ee82378182abcfade51c8commit | diff
nodestack: create ModelAction clock vectors

Only create the clock vector if the ModelAction will be retained in our
nodestack, and hence will be used for synchronization, etc.
nodestack.cc diff | blob | history
C++11 memory model checker