projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a0db445) | patch
promise: bugfix - don't check value, check location
authorBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 21:07:56 +0000 (13:07 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 1 Mar 2013 21:18:43 +0000 (13:18 -0800)
commitd7ef8a452c36e2ab3e56a8c43639006dc64d5d18
tree3da2988385dc8dbb7bcf0c341072072231eca5cctree | snapshot
parenta0db445e3ecfedce6a85b7b381416b5c363a0614commit | diff
promise: bugfix - don't check value, check location

I changed a line previously and didn't even notice that I wasn't
matching the comment anymore! Of course, the comment was correct, and my
code was wrong.
model.cc diff | blob | history
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker