Fixed propagation, different change sets for the x and y branches before a new edge...
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis /
drwxr-xr-x   ..
-rw-r--r-- 2142 AllocationSite.java
-rw-r--r-- 394 Canonical.java
-rw-r--r-- 1171 ChangeTuple.java
-rw-r--r-- 1766 ChangeTupleSet.java
-rw-r--r-- 3490 HeapRegionNode.java
-rw-r--r-- 722 LabelNode.java
-rw-r--r-- 23217 OwnershipAnalysis.java
-rw-r--r-- 54077 OwnershipGraph.java
-rw-r--r-- 1394 OwnershipNode.java
-rw-r--r-- 4079 ReachabilitySet.java
-rw-r--r-- 3157 ReferenceEdgeProperties.java
-rw-r--r-- 1710 TokenTuple.java
-rw-r--r-- 1676 TokenTupleSet.java