projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c36650a) | patch
Fixed a few minor bugs in token propagation, and major bug that every
authorjjenista <jjenista>
Wed, 16 Jul 2008 19:45:08 +0000 (19:45 +0000)
committerjjenista <jjenista>
Wed, 16 Jul 2008 19:45:08 +0000 (19:45 +0000)
commit4941547d10d880936d5da1731e8c5e0c14c07c7f
treec5e71b0768739b58dad05e9ac6cfaa99eab3fda5tree | snapshot
parentc36650a2762616cd083646163efe8d552c0655b6commit | diff
Fixed a few minor bugs in token propagation, and major bug that every
reachability set should have the empty token tuple set as a member.
Also, propagation does not go back up edges yet.
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java diff | blob | history
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java diff | blob | history
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java diff | blob | history
Irvine Research Compiler