projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 53748c5) | patch
model: report status of resolved promises
authorBrian Norris <banorris@uci.edu>
Fri, 24 Aug 2012 00:50:21 +0000 (17:50 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 25 Aug 2012 01:35:23 +0000 (18:35 -0700)
commit775ba9f4b05d1a09295b0551c5efbd814b8e15aa
tree10b2bf5652eb064fc3b77f3a8c83b5a920357e14tree | snapshot
parent53748c53db55c1230d4b191caf0e4016a2b9c0a6commit | diff
model: report status of resolved promises

The rest of the model checker needs to know when promises are added, so add a
return status as a boolean.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker