projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: b588ae0)
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)
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.


No differences found
C++11 memory model checker