projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b992cf9) | patch
new analysis for array references that create no new reachability is in, and correctl...
authorjjenista <jjenista>
Fri, 30 Oct 2009 20:30:18 +0000 (20:30 +0000)
committerjjenista <jjenista>
Fri, 30 Oct 2009 20:30:18 +0000 (20:30 +0000)
commitb28eb53cc507ab65a6cc1a7d97e0bb7249e1f226
treec72c2f8076b12be5802c3f5cc9546350fac71d1btree | snapshot
parentb992cf9fba7e552d1f351e0f238057e50a9fa6b1commit | diff
new analysis for array references that create no new reachability is in, and correctly finds the set of FlatSetElementNode objects that we are expecting to be able to skip.  Disjointness results still the same, more checking to do
Robust/src/Analysis/ArrayReferencees.java diff | blob | history
Robust/src/Analysis/MLP/MLPAnalysis.java diff | blob | history
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java diff | blob | history
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/FlightList.java diff | blob | history
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/MessageList.java diff | blob | history
Robust/src/Benchmarks/mlp/directto/mlp-small-for-testing/makefile diff | blob | history
Robust/src/Main/Main.java diff | blob | history
Irvine Research Compiler