projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe7b400) | patch
clockvector: bugfix - bad clock merge
authorBrian Norris <banorris@uci.edu>
Thu, 1 Nov 2012 19:53:01 +0000 (12:53 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 1 Nov 2012 20:04:06 +0000 (13:04 -0700)
commita09a4346390cc28a29428ee5a0610b1054aa48ed
treed660853a95c380efe3a9942cd992db6071b63c09tree | snapshot
parentfe7b400edb33255770fb47ad520afbd05d13a231commit | diff
clockvector: bugfix - bad clock merge

The clock merge function had a really bad bug, where it would copy
garbage into the new clock vector, if the earlier clock vector (cv) was
"wider" than the current clock vector (this).

Now, ClockVector::merge is much simpler and much less buggy.
clockvector.cc diff | blob | history
C++11 memory model checker