Fixed propagation, different change sets for the x and y branches before a new edge...
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / HeapRegionNode.java
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.