projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 17a0e8e) | patch
model: make dumpGraph 'const'
authorBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 08:12:28 +0000 (00:12 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 13 Dec 2012 08:12:28 +0000 (00:12 -0800)
commit5e4e1eebcf9a6248ba9227d7f486ad1fe2a2d3d1
treedb90ce6a0168f0ccd2870f3549df17be06e67463tree | snapshot
parent17a0e8e736bf745dffec039a5eacc404349e04e5commit | diff
model: make dumpGraph 'const'

SUPPORT_MOD_ORDER_DUMP can't compile if dumpGraph() isn't const.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker