Split graph construction into 2 steps (one for pruned creation and one for marking...
authorstephey <stephey>
Thu, 20 Jan 2011 07:49:49 +0000 (07:49 +0000)
committerstephey <stephey>
Thu, 20 Jan 2011 07:49:49 +0000 (07:49 +0000)
commit5c47ddcaa39a5213c3f5b9d6dc4bb07d6e1ca143
tree1db4bb9df3446587ee63fb7010431e433409d9a9
parent4f48c0b826dd5f9596483cd106590d337018fc6b
Split graph construction into 2 steps (one for pruned creation and one for marking conflicts). Dumbed down the logic in ConcreteRuntimeObjNode. Found a inefficiency whereby the graph is recreated with EVERY INSET VARIABLE, but I'll fix that another night.
Robust/src/IR/Flat/RuntimeConflictResolver.java