Fixed x.f = y operation
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipGraph.java
2008-08-04 jjenistaFixed x.f = y operation
2008-07-27 jjenistaReachability bug fixes. Tokens propagate and age in...
2008-07-27 jjenistaToken propagation for normal assignments fixed. Tokens...
2008-07-18 jjenistaWorking on allocating with reachability, mostly the...
2008-07-18 jjenistaAdded some functionality to reachability classes that...
2008-07-17 jjenistaFixed propagation, different change sets for the x...
2008-07-16 jjenistaFixed a few minor bugs in token propagation, and major...
2008-07-15 jjenistaToken propagation implemented, stable but incorrect...
2008-07-15 jjenistaMore reachability implementation, no token propagation...
2008-07-15 jjenistaAdded reachability to simple edge cases.
2008-07-09 jjenistaAdded reachability classes, all of which are extensions...
2008-07-02 jjenistaStarting to integrate reachability classes into ownership.
2008-06-24 jjenistaSome initial implementation of reachability for ownersh...
2008-04-16 jjenistaProperly use transitive closure of allocation sites...
2008-04-08 jjenistaA little code cleanup and support for different options...
2008-04-08 jjenistaFixed a bug in assigning temp to new allocation. Clear...
2008-03-31 jjenistaAltered ownership graph to dot file by removing label...
2008-03-28 jjenistaRetain properties of edges that are mapped from callee...
2008-03-28 jjenistaWhen performing the operations:
2008-03-27 jjenistaStable capture.
2008-03-26 jjenistaStable capture of work on method call resolution, speci...
2008-03-25 jjenistaGot clarification on how to resolve method calls, intro...
2008-03-21 jjenistaCollect merge of FlatReturn ownership graphs for use...
2008-03-13 jjenistaStable state capture.
2008-03-11 jjenistaFixed bug that heap regions from allocation sites are...
2008-03-10 jjenistaMost up-to-date allocation site algorithm implemented...
2008-03-03 jjenistaCapture stable state.
2008-02-29 jjenistaMethod scheduling handles recursion and dependency.
2008-02-27 jjenistaCapturing stable state.
2008-02-22 jjenistaCapture stable point.
2008-02-12 jjenistaStub out ownership analysis classes that break compilation.
2008-02-05 jjenistacapturing before making big changes
2007-11-30 jjenistaFixed a bug where OwnershipGraph.writeGraph() visits...
2007-11-28 jjenistaOwnership analysis handles assignment, field setting...
2007-11-28 jjenistaFound a bug in OwnershipGraph.java when writing out...
2007-11-28 jjenistaOwnershipGraph and Node classes are working and tested.
2007-11-13 jjenistaFine heap representation, can only handle simple code.
2007-11-13 jjenistaAdded framework for ownership analysis.