implementing
authorjjenista <jjenista>
Thu, 4 Feb 2010 23:57:11 +0000 (23:57 +0000)
committerjjenista <jjenista>
Thu, 4 Feb 2010 23:57:11 +0000 (23:57 +0000)
commita4e8e0a1b2d129c1b41ad32a474fd4957500840b
tree8ef5d123ee4d73832789e9c62a2d04cd8efa6a14
parent27a8c0b0e4bf2a05d8fe3a6d1482668a374ecb9f
implementing
14 files changed:
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ExistPredEdge.java
Robust/src/Analysis/Disjoint/ExistPredNode.java
Robust/src/Analysis/Disjoint/ExistPredSet.java
Robust/src/Analysis/Disjoint/ExistPredTrue.java [new file with mode: 0644]
Robust/src/Analysis/Disjoint/HeapRegionNode.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/ReachSet.java
Robust/src/Analysis/Disjoint/RefEdge.java
Robust/src/IR/State.java
Robust/src/Main/Main.java
Robust/src/Tests/disjoint/predicateTest1/makefile
Robust/src/Tests/disjoint/predicateTest2/makefile [new file with mode: 0644]
Robust/src/Tests/disjoint/predicateTest2/test.java [new file with mode: 0644]