projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6dfb25) | patch
model: template-ize 'r_modification_order'
authorBrian Norris <banorris@uci.edu>
Sat, 2 Feb 2013 00:44:22 +0000 (16:44 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:38 +0000 (13:44 -0800)
commitb588ae090b73e131a824d5328e5e8a6ead760148
tree73f885c5b7dfca08521dc9c7ad4a25d36847fa4atree | snapshot
parentc6dfb2568e6132123341ade757bf2b3119f1646ecommit | diff
model: template-ize 'r_modification_order'

We will need to add "read modification order" edges when 'rf' is either
a ModelAction or a Promise. This function works nicely with a template.
action.h diff | blob | history
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker