projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1ec7522) | patch
schedule: improve scheduler printing
authorBrian Norris <banorris@uci.edu>
Sat, 19 Jan 2013 00:38:55 +0000 (16:38 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 19 Jan 2013 00:38:55 +0000 (16:38 -0800)
commit4b8be988ca74cfc09f53a97c3d7bc0a43829b902
tree9788a3ee7b3d122ae9ee73171f8dad3e0328b259tree | snapshot
parent1ec752235b9629b1608babda6a9582fc9a0dd1a7commit | diff
schedule: improve scheduler printing

Print more detailed, informative info about the Scheduler, still on a
single line.
schedule.cc diff | blob | history
C++11 memory model checker