projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9caca8) | patch
fixed problem by differentiating between an element that is out of the callee context...
authorjjenista <jjenista>
Mon, 22 Mar 2010 02:56:57 +0000 (02:56 +0000)
committerjjenista <jjenista>
Mon, 22 Mar 2010 02:56:57 +0000 (02:56 +0000)
commit9f4bc2d218f90f104da228c439373fd2aa2454f6
tree24cc8b74dd48aa18ca95153ee2d6706fd5abae8etree | snapshot
parentb9caca8c045ba18ecbda2a8f68e682c283e5a439commit | diff
fixed problem by differentiating between an element that is out of the callee context, and an element that is also out of the caller context as well, results looking better but reachability states aren't propagating over more than one context
Robust/src/Analysis/Disjoint/ExistPred.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Robust/src/Tests/disjoint/predicateTest3/test.java diff | blob | history
Irvine Research Compiler