Added logic for determining weakly connected groups of Heaproots and changed traverse...
authorstephey <stephey>
Thu, 9 Sep 2010 01:38:32 +0000 (01:38 +0000)
committerstephey <stephey>
Thu, 9 Sep 2010 01:38:32 +0000 (01:38 +0000)
commit9245dc3d0da698f0785dbcbd43dc4b38baf5694c
treef088b734e407fbc1c15054d80f623fe2cdfcf4fd
parentbaa229b344f62c67f3b574ac9e660256e6afc1d2
Added logic for determining weakly connected groups of Heaproots and changed traverser invocation/generation method header to support resuming traversal from predefined points (incomplete, still need to modify addChecker to take advantage of the new header).
Robust/src/IR/Flat/RuntimeConflictResolver.java