projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72a0db4) | patch
enforce strict monotonicity for initial method contexts and back edges as defined...
authorjjenista <jjenista>
Wed, 31 Mar 2010 17:21:08 +0000 (17:21 +0000)
committerjjenista <jjenista>
Wed, 31 Mar 2010 17:21:08 +0000 (17:21 +0000)
commite97f941bdb954537ea57983c5dade2411f27da09
tree7731199eb8329557d8e25296fa4fc926f97c0ce4tree | snapshot
parent72a0db4e91395b82e5864f0eb564a76f94f75eeecommit | diff
enforce strict monotonicity for initial method contexts and back edges as defined by the PointerMethod, which allow the nonterminating test cases to converge now.  Still gotta test on the wider benchmark suite...
Robust/src/Analysis/Disjoint/DisjointAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/PointerMethod.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Irvine Research Compiler