projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62dbff8) | patch
model: utilize CycleGraph 'addEdge()' status
authorBrian Norris <banorris@uci.edu>
Tue, 5 Feb 2013 21:47:20 +0000 (13:47 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:39 +0000 (13:44 -0800)
commitae1340cbd7d2f75d76a4199597f454290badcc8b
treeb3c48e9fe5f51c3799a1aeb8d8f1406a8397a3a9tree | snapshot
parent62dbff8dbca80ded5959e88ec9c177bef9108546commit | diff
model: utilize CycleGraph 'addEdge()' status

The mo_graph is only modified if addEdge() returns true. Utilize this
information.
model.cc diff | blob | history
C++11 memory model checker