projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d2e1a91) | patch
AWESOME. Used just the R relation of definite reach to successfully improve the...
authorjjenista <jjenista>
Thu, 10 Nov 2011 00:38:35 +0000 (00:38 +0000)
committerjjenista <jjenista>
Thu, 10 Nov 2011 00:38:35 +0000 (00:38 +0000)
commiteb3e364c0a9a1a90aa6e445c91f2cedcfde74f7f
treee85fa52bd68880463ace707a233b9a4dd4423404tree | snapshot
parentd2e1a91b7fdd988114055a8c961ffb11bfa5f276commit | diff
AWESOME.  Used just the R relation of definite reach to successfully improve the reachability results of a simple example
Robust/src/Analysis/Disjoint/DefiniteReachAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/DefiniteReachState.java diff | blob | history
Robust/src/Analysis/Disjoint/DisjointAnalysis.java diff | blob | history
Robust/src/Analysis/Disjoint/ReachGraph.java diff | blob | history
Robust/src/Tests/disjoint/definite/test.java diff | blob | history
Irvine Research Compiler