Working on allocating with reachability, mostly the "aging" of tokens.
authorjjenista <jjenista>
Fri, 18 Jul 2008 19:29:25 +0000 (19:29 +0000)
committerjjenista <jjenista>
Fri, 18 Jul 2008 19:29:25 +0000 (19:29 +0000)
commitfdaf311acf73439fef3690b9edfc96722a21154c
tree9d1468fbf08cf8d55363f85fe814242fe19fe95b
parentf58b04b9704320c45739828d73b7583595a8f1cc
Working on allocating with reachability, mostly the "aging" of tokens.
Implementation is stable but it is not working correctly.
Robust/src/Analysis/OwnershipAnalysis/AllocationSite.java
Robust/src/Analysis/OwnershipAnalysis/OwnershipGraph.java
Robust/src/Analysis/OwnershipAnalysis/ReachabilitySet.java
Robust/src/Analysis/OwnershipAnalysis/TokenTuple.java
Robust/src/Analysis/OwnershipAnalysis/TokenTupleSet.java