Bug fix where two isolated heap regions with empty reachability sets have
[IRC.git] / Robust / src / Analysis / OwnershipAnalysis / OwnershipGraph.java
2008-09-24 jjenistaBug fix where two isolated heap regions with empty...
2008-09-23 jjenistaFirst bug fix is that the "unshadow" token conversion...
2008-09-22 jjenistarewriting of callee tokens into caller tokens was incorrect
2008-09-18 jjenistaexhaustive arity improves for benchmarks with ad=1
2008-09-18 jjenistatest for immutable instead of primitive to decide if...
2008-09-17 jjenistahelpful progress reporting
2008-09-11 jjenistaBug fix: when rewriting a token set every permutation...
2008-09-09 jjenistafix dumb bug in test case, add graphing option
2008-09-03 jjenistaforgot to make tabbing
2008-09-03 jjenistaminor bug fixes and support for matching classes to...
2008-09-02 jjenistaonly analyze flat method node to allocate parameter...
2008-09-02 jjenistabeen forgetting to make tabbing
2008-09-01 jjenistaChanged the top-level procedure for resolving a method...
2008-08-30 jjenistaPut the rest of the top-level interface together
2008-08-30 jjenistaalias query for param to alloc site
2008-08-30 jjenistastep toward repairing top-level alias query interface
2008-08-29 jjenistaPrune edges by field name and type when mapping from...
2008-08-29 jjenistaadded support for array element nodes
2008-08-27 jjenistaupdate for methods and renaming of assignments for...
2008-08-27 jjenistawrite-to-graph changes
2008-08-25 jjenistabug fix, alpha and beta for allocated callee nodes...
2008-08-25 jjenistamethod call stably implemented as a first pass, results...
2008-08-25 jjenistafor method calls, all reachability sets brought into...
2008-08-22 jjenistamethod call first draft almost finished. Need to go...
2008-08-22 jjenistasteps 1-5 of method call algorithm implemented
2008-08-21 jjenistamore method call stuff, still partial
2008-08-21 jjenistastable, still partial method calls
2008-08-21 jjenistaStable, partial implementation of method calls
2008-08-19 bdemskyChange tabbing for everything....
2008-08-18 jjenistaChanged allocation depth to default to minimum possible...
2008-08-18 jjenistaHeap regions with no reachability token need to have...
2008-08-15 jjenistastrong updates, everything ready to do method calls
2008-08-15 jjenistaHeapRegionNode and ReferenceEdge both have had the...
2008-08-15 jjenistaRetooled edges and basic stuff is working again (finall...
2008-08-12 jjenistaBug fix and makefile update
2008-08-12 jjenistaMade a big change to reference edges, touched a lot...
2008-08-11 jjenistaequals() and hashCode() methods are bunk
2008-08-07 jjenistaI erroneously added this sanity check and wondered...
2008-08-07 jjenistaBug fix that param2id tables need to initialized for...
2008-08-06 jjenistaAdded fields to ReferenceEdgeProperties and combed...
2008-08-05 jjenistaBreak aging into smaller procedures and improve graphin...
2008-08-05 jjenistaPrune change sets during token prop by beta info only...
2008-08-04 jjenistax.f = y now prunes new edge's beta by alpha at x
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.