projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4019d34) | patch
model: add const qualifiers, fixup comments
authorBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 17:33:58 +0000 (10:33 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 20 Sep 2012 21:09:55 +0000 (14:09 -0700)
commit2f6c80b075c5da5c6d412955fe8e322d479955dd
tree819a32578d22cf6b19876efb332146052f21e703tree | snapshot
parent4019d34cdcee6193a6964bd995ded65f049d58cecommit | diff
model: add const qualifiers, fixup comments

The "get_last_*" series of functions should be labeled const.

Also, some of the comments were missing/incorrect.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker