projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 188fd67) | patch
be even more aggressive about sleep sets...
authorBrian Demsky <bdemsky@uci.edu>
Mon, 8 Oct 2012 21:48:47 +0000 (14:48 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 8 Oct 2012 21:48:47 +0000 (14:48 -0700)
commitb6f06ab2c626eb6e0f044fa9c7d1b74fbc82a09d
tree1e54b13c20e26c23a155758d4fa94f79c4432195tree | snapshot
parent188fd67da0c7cb891960093e85bb4c9a5718050dcommit | diff
be even more aggressive about sleep sets...
if an action was sleeping, it should only read from a value that could potentially result in synchronization with a release done while it was sleeping
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker