projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4730dd5) | patch
action: rework/rename 'synchronized()' to 'synchronize_with()'
authorBrian Norris <banorris@uci.edu>
Fri, 10 Aug 2012 21:57:20 +0000 (14:57 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 16 Aug 2012 17:30:25 +0000 (10:30 -0700)
commit9c085ae909dbe3aba08a518cc7c9ac6134773108
tree714b21ef94bab7c5d058ed47f033983ad1b2c9fetree | snapshot
parent4730dd573ad7a28d875c31b6aa633f7bce420054commit | diff
action: rework/rename 'synchronized()' to 'synchronize_with()'

Fix some comments, names, etc.

Privatize synchronized()/synchronize_with(), since it's only intended for
within other wrapper actions performed on ModelAction.
action.cc diff | blob | history
action.h diff | blob | history
C++11 memory model checker