projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: baf7877) | patch
no need to store into the object field... this will probably just lead to weird...
authorBrian Demsky <bdemsky@uci.edu>
Mon, 16 Jul 2012 23:24:53 +0000 (16:24 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 16 Jul 2012 23:24:53 +0000 (16:24 -0700)
commit5b7cd081428d15ff59fbf9252df86dbd1709457f
tree8b812ac07294c9c794b86e50f93fbcda34c54943tree | snapshot
parentbaf7877f639380a66770d974ad4312c42dda338bcommit | diff
no need to store into the object field...  this will probably just lead to weird bugs in the future where
people wrongly assume reasonable values in the field...
libatomic.cc diff | blob | history
C++11 memory model checker