projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9a416eb) | patch
fix for horrible bug... turns out that we could generate an infinite set of bad...
authorBrian Demsky <bdemsky@uci.edu>
Thu, 13 Sep 2012 05:57:00 +0000 (22:57 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Thu, 13 Sep 2012 05:57:00 +0000 (22:57 -0700)
commit03a2997dd18bfee9058c42019865eeb33262df21
tree749fa0b3292e1420c6cc0ce2b9e2fbe630eb3567tree | snapshot
parent9a416eb64865be1728786eb65b1c4b995cfa194dcommit | diff
fix for horrible bug...  turns out that we could generate an infinite set of bad executions due to future values...
fix--don't send future values backwards until all of your promises are resolved...
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker