projects / IRC.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e468025) | patch
Heap regions with no reachability token need to have the empty reachability set
authorjjenista <jjenista>
Mon, 18 Aug 2008 19:46:54 +0000 (19:46 +0000)
committerjjenista <jjenista>
Mon, 18 Aug 2008 19:46:54 +0000 (19:46 +0000)
commit5a0a8a1484e94e37db913d6c816b1513a5abccad
tree2d916c6f781077f774639ba2c25852d262c223e3tree | snapshot
parente46802516c9d8c0b19d91deb77f7f03e3bce4277commit | diff
Heap regions with no reachability token need to have the empty reachability set
in order for other token operations to work.
Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java diff | blob | history
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java diff | blob | history
Robust/src/Analysis/OwnershipAnalysis/ReferenceEdge.java diff | blob | history
Robust/src/Tests/OwnershipAnalysisTest/test01/makefile diff | blob | history
Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java diff | blob | history
Irvine Research Compiler