projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5236e7a) | patch
promise: update comments/names to reflect usage
authorBrian Norris <banorris@uci.edu>
Thu, 7 Feb 2013 00:51:12 +0000 (16:51 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 7 Feb 2013 00:52:30 +0000 (16:52 -0800)
commit5bd87a4163897f385459b8744f3d6e322b9f5d3e
treeb72b858f7ac951942554edac6fd5d94eee5c5388tree | snapshot
parent5236e7a4403ccc6d28b3fdc746c5710d6190310acommit | diff
promise: update comments/names to reflect usage

is_compatible() and is_compatible_exclusive() do not require a store as
an argument; they can just as well use a load
promise.cc diff | blob | history
promise.h diff | blob | history
C++11 memory model checker