projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a2e3283) | patch
SC Reads can read from things mo'd before the last sc write, they just can't happen...
authorbdemsky <bdemsky@uci.edu>
Fri, 18 Jul 2014 21:59:59 +0000 (14:59 -0700)
committerbdemsky <bdemsky@uci.edu>
Fri, 18 Jul 2014 21:59:59 +0000 (14:59 -0700)
commit88fb5522811e0bd481ad3e60b70fe40fbc9c3e0f
treebe3445e864529ed3cb4d4dcaaf6a58ac6b6536datree | snapshot
parenta2e32839cc2d45b6f8f559061ac4315acc628396commit | diff
SC Reads can read from things mo'd before the last sc write, they just can't happen before it
execution.cc diff | blob | history
execution.h diff | blob | history
C++11 memory model checker