projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c61161) | patch
deal with looping due to bogus future value via promise expiration
authorBrian Demsky <bdemsky@uci.edu>
Wed, 12 Sep 2012 22:12:31 +0000 (15:12 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Wed, 12 Sep 2012 22:12:31 +0000 (15:12 -0700)
commit1bc8782b55cab0503f1b64529f993f0b9e3a1846
tree2943485a103d8ec0038aa3efcfd7e1aa73a4f313tree | snapshot
parent0c61161a061c85189d4d1531a9ad00caf2f2588dcommit | diff
deal with looping due to bogus future value via promise expiration
fix promise bug
main.cc diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
nodestack.cc diff | blob | history
nodestack.h diff | blob | history
promise.h diff | blob | history
C++11 memory model checker