projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46e66cb) | patch
for method calls, all reachability sets brought into the caller need to have a callee...
authorjjenista <jjenista>
Mon, 25 Aug 2008 20:05:04 +0000 (20:05 +0000)
committerjjenista <jjenista>
Mon, 25 Aug 2008 20:05:04 +0000 (20:05 +0000)
commit13259bcd0608e093a8653d206689ea0c52e3485a
tree6f49798298b4102eb29570991f790a930879efd9tree | snapshot
parent46e66cbd2e781e6e5fea233d611abfe06eb5f084commit | diff
for method calls, all reachability sets brought into the caller need to have a callee-allocation-tokens-to-shadow-tokens pass
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java diff | blob | history
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java diff | blob | history
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java diff | blob | history
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java diff | blob | history
Irvine Research Compiler