projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f864487) | patch
schedule: make print() const
authorBrian Norris <banorris@uci.edu>
Fri, 10 Aug 2012 23:20:15 +0000 (16:20 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 16 Aug 2012 17:30:27 +0000 (10:30 -0700)
commit1f89a2b5691c26417c93d283e73e181bc6cea1a5
treed25bed664f6fd59caeddda88c81f9316cf1f0ee6tree | snapshot
parentf8644870d86a25fc9c805c3a499b34eae4667b69commit | diff
schedule: make print() const

Switch to using a "const_iterator" so that the whole function becomes const.
schedule.cc diff | blob | history
schedule.h diff | blob | history
C++11 memory model checker