projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f41ab74) | patch
model: rename 'promise_index' to 'i'
authorBrian Norris <banorris@uci.edu>
Wed, 12 Dec 2012 23:49:29 +0000 (15:49 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 12 Dec 2012 23:49:29 +0000 (15:49 -0800)
commit05d91de8ac8098425d51e9af2704eb91e04a7f9b
tree0e9bc56705704c9767f22676678493c1c2be35aatree | snapshot
parentf41ab746f55e04e33a15c41fa61aa084d2f98ed2commit | diff
model: rename 'promise_index' to 'i'

The fuction looks cleaner if the loop variable is just a simple 'i'
index.
model.cc diff | blob | history
C++11 memory model checker