more changes
authorbdemsky <bdemsky>
Tue, 25 Jan 2011 08:18:59 +0000 (08:18 +0000)
committerbdemsky <bdemsky>
Tue, 25 Jan 2011 08:18:59 +0000 (08:18 +0000)
commit6e355f11cf15e3b09d9f564021dfb2e92bf68eef
tree34606f24ca4c9980abfce8b920898dee013bac30
parentd7f673f895035256a386258245a9080723fbd6d5
more changes
Robust/src/Analysis/Pointer/AllocFactory.java
Robust/src/Analysis/Pointer/Edge.java
Robust/src/Analysis/Pointer/Pointer.java