projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fbacb5f) | patch
model: cosmetic improvements to resolve_promises()
authorBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 01:39:36 +0000 (17:39 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:45:23 +0000 (13:45 -0800)
commit63e202b2db7a90e176db54c864d2e54ec535c03f
treec3c7659191efe33ef952f8dd60eb79679fb5a70btree | snapshot
parentfbacb5f41ada96e7b539ccc41deccb1a7e1a1ba8commit | diff
model: cosmetic improvements to resolve_promises()

Rename 'resolved' to 'haveResolved', since we will use the 'resolved'
name for something else.
model.cc diff | blob | history
C++11 memory model checker