improve strong update conditions for store, add strong updates from callee effects...
authorjjenista <jjenista>
Tue, 24 Mar 2009 01:05:19 +0000 (01:05 +0000)
committerjjenista <jjenista>
Tue, 24 Mar 2009 01:05:19 +0000 (01:05 +0000)
commitdb01eb3fb3742f85dfaabcb14bca3fdeb5ccec4e
tree1e83248837dbd7bb2803347ec3caa32427c240f1
parent9ce51126e9ec2ccb43a27a4182b4514cbe46b59a
improve strong update conditions for store, add strong updates from callee effects and clean up commented debugging code
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Tests/OwnershipAnalysisTest/test07/test.java