Capturing stable state.
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipGraph.java
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.