Added fields to ReferenceEdgeProperties and combed over all classes that need proper...
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / HeapRegionNode.java
2008-08-06 jjenistaAdded fields to ReferenceEdgeProperties and combed...
2008-08-05 jjenistaPrune change sets during token prop by beta info only...
2008-07-15 jjenistaToken propagation implemented, stable but incorrect...
2008-07-15 jjenistaMore reachability implementation, no token propagation...
2008-07-09 jjenistaAdded reachability classes, all of which are extensions...
2008-07-02 jjenistaStarting to integrate reachability classes into ownership.
2008-04-16 jjenistaProperly use transitive closure of allocation sites...
2008-04-08 jjenistaFixed a bug in assigning temp to new allocation. Clear...
2008-03-11 jjenistaFixed bug that heap regions from allocation sites are...
2008-02-27 jjenistaCapturing stable state.
2008-02-12 jjenistaStub out ownership analysis classes that break compilation.