bug fix...recompute promises of RMW actions at divergence points
authorBrian Demsky <bdemsky@uci.edu>
Mon, 1 Oct 2012 22:17:11 +0000 (15:17 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Mon, 1 Oct 2012 22:17:11 +0000 (15:17 -0700)
commit718fed530a17d55ab479921e8dffebea4f98cbdf
tree55bdf7427ea7f8cf9aaf0aac8b9b24ac6e54e16f
parentd6def735e3fb70267ca802f3b1909e7ace6e4507
bug fix...recompute promises of RMW actions at divergence points
model.cc
nodestack.cc