projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04f478b) | patch
add support for dumping cyclegraphs as dot files... also eliminate redundant edges...
authorBrian Demsky <bdemsky@uci.edu>
Fri, 14 Sep 2012 05:04:45 +0000 (22:04 -0700)
committerBrian Demsky <bdemsky@uci.edu>
Fri, 14 Sep 2012 05:04:45 +0000 (22:04 -0700)
commite309adaee27786a638bcd44303ecb88351074257
tree083b13e026093dd230f9aafe561f8cd31b2fd0e1tree | snapshot
parent04f478b27a93b7838f58a8480b9e3e22d41688f8commit | diff
add support for dumping cyclegraphs as dot files...  also eliminate redundant edges to make them easier to view
config.h diff | blob | history
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
model.cc diff | blob | history
test/rmwprog.c diff | blob | history
C++11 memory model checker