projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b588ae0) | patch
cyclegraph: template-ize checkReachable()
authorBrian Norris <banorris@uci.edu>
Sat, 2 Feb 2013 01:47:57 +0000 (17:47 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:38 +0000 (13:44 -0800)
commit776fc7207dec4959b4fa3e4bd7cb71cc38a19353
treea52ff5f4592a7e418806cdb11b0d8b2f1d4d52detree | snapshot
parentb588ae090b73e131a824d5328e5e8a6ead760148commit | diff
cyclegraph: template-ize checkReachable()

ModelChecker will need to query the mo_graph regarding the modification
order of promised future writes.
cyclegraph.cc diff | blob | history
cyclegraph.h diff | blob | history
C++11 memory model checker