projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e79a7cd) | patch
Bug fix for broken treatment of promises + coherence based pruning to regain pruning...
authorbdemsky <bdemsky@uci.edu>
Sat, 25 Jan 2014 22:11:22 +0000 (14:11 -0800)
committerbdemsky <bdemsky@uci.edu>
Sun, 26 Jan 2014 00:13:00 +0000 (16:13 -0800)
commit6014243b7130f34b7ffd1098da225b0b8de5c328
tree8219cfd2001cba202b0571ff24abe15f16f3fee5tree | snapshot
parente79a7cd8e9c85d37a5d5c2a81ca14b1017b1b305commit | diff
Bug fix for broken treatment of promises + coherence based pruning to regain pruning lost by bug fix
cyclegraph.cc diff | blob | history
execution.cc diff | blob | history
execution.h diff | blob | history
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker