projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bc487ad) | patch
libatomic: atomic_load() - use proper reads_from value
authorBrian Norris <banorris@uci.edu>
Thu, 5 Jul 2012 20:57:50 +0000 (13:57 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 7 Jul 2012 02:04:35 +0000 (19:04 -0700)
commit99889e745e4fc8d19e203d2be61594905cb9db33
tree1a1e0f2b8df7fc14c4b0ba3d2847e5d004bd44c7tree | snapshot
parentbc487ada50f22a523e2bf92ff62bacba7db98701commit | diff
libatomic: atomic_load() - use proper reads_from value

Finally utilize a return value from the model-checker, instead of
storing/retrieving a sequentially-consistent value in obj->value.
libatomic.cc diff | blob | history
C++11 memory model checker