projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b77a679) | patch
model: re-check pending future values whenever a promise is resolved
authorBrian Norris <banorris@uci.edu>
Thu, 21 Mar 2013 23:48:57 +0000 (16:48 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 22 Mar 2013 01:03:34 +0000 (18:03 -0700)
commitd38fde1f52b826ebb760236bdd5f23f69069ede9
treeab6cdbaaaba0874e9b26ce9c577976188d5b6956tree | snapshot
parentb77a679eea5ce045bdfb2485625890bf0a087866commit | diff
model: re-check pending future values whenever a promise is resolved

This is the second part of the previous bugfix; now we must also allow
stashed pending future values to be re-checked in case a promise has
been resolved which now allows sending the value.
model.cc diff | blob | history
C++11 memory model checker