projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 123c66e) | patch
small changes (things still work) towards support RMW
authorBrian Demsky <bdemsky@uci.edu>
Thu, 19 Jul 2012 19:18:25 +0000 (12:18 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 2 Aug 2012 17:12:36 +0000 (10:12 -0700)
commitb5518c866ccd232fa79a2911ce5c6bcaa2110076
tree53dbf1188bb386d4839664464ebde7bf0f1d1654tree | snapshot
parent123c66e0c1b0f58aae2916cc22b2100143a2ceb4commit | diff
small changes (things still work) towards support RMW

Reserve value field only for writes. Using it for reads will only make thinks
weird for RMW operations.

[Amended by Brian Norris]
action.cc diff | blob | history
action.h diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker