big update--bringing implementation of new analysis into focus
authorjjenista <jjenista>
Fri, 19 Feb 2010 01:05:18 +0000 (01:05 +0000)
committerjjenista <jjenista>
Fri, 19 Feb 2010 01:05:18 +0000 (01:05 +0000)
commit7704d7fae6615fc1ecb725ceef059c208d4a1ff2
tree7e99acefec345573ce4fcc6a7e22d43a9ffef071
parent5d94448b93f5e1d60d778258001a316d3d7e6c1e
big update--bringing implementation of new analysis into focus
19 files changed:
Robust/src/Analysis/Disjoint/AccessPath.java [deleted file]
Robust/src/Analysis/Disjoint/AllocSite.java
Robust/src/Analysis/Disjoint/Canonical.java
Robust/src/Analysis/Disjoint/CanonicalOp.java [new file with mode: 0644]
Robust/src/Analysis/Disjoint/ChangeSet.java
Robust/src/Analysis/Disjoint/ChangeTuple.java
Robust/src/Analysis/Disjoint/DisjointAnalysis.java
Robust/src/Analysis/Disjoint/ExistPred.java
Robust/src/Analysis/Disjoint/ExistPredEdge.java [deleted file]
Robust/src/Analysis/Disjoint/ExistPredNode.java [deleted file]
Robust/src/Analysis/Disjoint/ExistPredSet.java
Robust/src/Analysis/Disjoint/ExistPredTrue.java [deleted file]
Robust/src/Analysis/Disjoint/HeapRegionNode.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/ReachOperation.java [deleted file]
Robust/src/Analysis/Disjoint/ReachSet.java
Robust/src/Analysis/Disjoint/ReachState.java
Robust/src/Analysis/Disjoint/ReachTuple.java
Robust/src/Analysis/Disjoint/RefEdge.java