projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f5029d0) | patch
cyclegraph: clean up mo_graph dump
authorBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 19:42:30 +0000 (11:42 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 28 Feb 2013 19:42:30 +0000 (11:42 -0800)
commit0330918c2798a36363a197bf500a5646b048a687
treef731059a8a33936acd466c3fd36eaa60959dd883tree | snapshot
parentf5029d07e4fad5921f60108f5632fb2a5e4a52fbcommit | diff
cyclegraph: clean up mo_graph dump

Promises should show up with their promise number (or promise "index").
We can also make the edge printing into a generic function.
cyclegraph.cc diff | blob | history
C++11 memory model checker