projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c137266) | patch
cyclegraph: reformat, improve 'addRMWEdge' comments
authorBrian Norris <banorris@uci.edu>
Fri, 25 Jan 2013 01:29:58 +0000 (17:29 -0800)
committerBrian Norris <banorris@uci.edu>
Fri, 25 Jan 2013 01:29:58 +0000 (17:29 -0800)
commitb1de3c01aaea4141cd01410ef739a00f2987b567
tree7f298a48464a5abb10e33515d28544e8f3e74886tree | snapshot
parentc1372661a92b8d2ba3bc977ebbabf52127354beacommit | diff
cyclegraph: reformat, improve 'addRMWEdge' comments

Make it slightly clearer what this function's intent is. (It's only used
for the introduction of the first edge between 'from' and 'rmw' s.t.:

  from->is_write() && rmw->is_rmw() && from --rf-> rmw
cyclegraph.cc diff | blob | history
C++11 memory model checker