Bug fix, subtle errors in exist pred hashcode, and a cycle pred.hashCode to state...
authorjjenista <jjenista>
Tue, 4 Oct 2011 23:49:19 +0000 (23:49 +0000)
committerjjenista <jjenista>
Tue, 4 Oct 2011 23:49:19 +0000 (23:49 +0000)
commit4bed1bed14ed723994ccc736398a38d24e61580e
tree95d6e8686c5bd39b67638ca18f1ebf05c0b387f1
parentb69cbddc1844e588de940379b40b09c04628b70c
Bug fix, subtle errors in exist pred hashcode, and a cycle pred.hashCode to state.hashCode and back
Robust/src/Analysis/Disjoint/ExistPred.java
Robust/src/Analysis/Disjoint/HeapRegionNode.java
Robust/src/Analysis/Disjoint/ReachGraph.java
Robust/src/Analysis/Disjoint/ReachState.java
Robust/src/Analysis/Disjoint/RefEdge.java
Robust/src/Benchmarks/oooJava/barneshut/Barneshut.java