projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2627422) | patch
cyclegraph: add public CycleGraph::checkReachable()
authorBrian Norris <banorris@uci.edu>
Fri, 17 Aug 2012 00:06:31 +0000 (17:06 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 23 Aug 2012 01:36:22 +0000 (18:36 -0700)
commitd3f14b49a90dc60f1976529f3cd784832c1fad32
treec40911126f23a67c48c8812eb99ac43e3e876c17tree | snapshot
parent2627422b8bfba845fc2583032b96d581b72d0e4dcommit | diff
cyclegraph: add public CycleGraph::checkReachable()

The private CycleGraph::checkReachable() function can be useful externally,
when provided with two ModelActions. This implements a small wrapper for public
usage.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
C++11 memory model checker