projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3e538ef) | patch
cyclegraph: fixup support for dumping the modification order graph
authorBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 22:43:39 +0000 (14:43 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 22:43:39 +0000 (14:43 -0800)
commit24d17393dc45f60f6f6660159f2f329d1cc5d15a
treef0f7b2bb992828fee7c0aeaedfed4ebe8967aa78tree | snapshot
parent3e538ef764be5b82ef8a58f1fcdf98708cd8aa73commit | diff
cyclegraph: fixup support for dumping the modification order graph

We need to include promises in the modification order graph if we plan
on dumping it to a .dot file. This hacks it together so that it works
for now.
cyclegraph.cc diff | blob | history
model.cc diff | blob | history
C++11 memory model checker