projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 63e202b) | patch
model: fully utilize Promise nodes in CycleGraph
authorBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 01:45:31 +0000 (17:45 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:45:23 +0000 (13:45 -0800)
commit8d671b5e6a8b29464e0f7c17b696cbd5286f3446
treeb719a9d61f74ad3d7eea39ab9feedfb1aafbbd2dtree | snapshot
parent63e202b2db7a90e176db54c864d2e54ec535c03fcommit | diff
model: fully utilize Promise nodes in CycleGraph

We can eliminate the post-promise-resolution computations now that
mo_graph is built up to include Promise nodes.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker