more changes according to new effect analysis
authoryeom <yeom>
Wed, 30 Jun 2010 01:01:31 +0000 (01:01 +0000)
committeryeom <yeom>
Wed, 30 Jun 2010 01:01:31 +0000 (01:01 +0000)
commit01496f90e5162cb45c7f8e949563fa8deebb4b54
tree9d9240db08f48302b16341915f9b1af42c01e921
parent2256a2842b659291df903dd96daca956477fb6cb
more changes according to new effect analysis
and set up debug features of OoOJava analysis
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/OoOJava/ConflictEdge.java
Robust/src/Analysis/OoOJava/ConflictGraph.java
Robust/src/Analysis/OoOJava/ConflictNode.java
Robust/src/Analysis/OoOJava/OoOJavaAnalysis.java
Robust/src/Analysis/OoOJava/SESELock.java
Robust/src/Analysis/OoOJava/SESEWaitingQueue.java [new file with mode: 0644]
Robust/src/Analysis/OoOJava/WaitingElement.java [new file with mode: 0644]
Robust/src/IR/State.java
Robust/src/Main/Main.java