| 2009-10-23 |
jjenista | starting implementation for access paths to improve... |
tree | commitdiff |
| 2009-10-14 |
jjenista | investigating OOPSLA benchmarks further |
tree | commitdiff |
| 2009-10-08 |
jjenista | Allow some disjointness improvements to be turned off... |
tree | commitdiff |
| 2009-10-02 |
jjenista | trying to make disjointness example versus shape even... |
tree | commitdiff |
| 2009-10-02 |
jjenista | add option to graph visualization that supresses reacha... |
tree | commitdiff |
| 2009-09-22 |
jjenista | a common example to compare with shape analyis |
tree | commitdiff |
| 2009-09-15 |
jjenista | added support for null heap region, doesn't work perfec... |
tree | commitdiff |
| 2009-03-24 |
jjenista | keep alpha source states during node propagation |
tree | commitdiff |
| 2009-03-24 |
jjenista | edge matching bug fix and add alpha source states back |
tree | commitdiff |
| 2009-03-24 |
jjenista | improve strong update conditions for store, add strong... |
tree | commitdiff |
| 2009-03-23 |
jjenista | bug fix: changed contains() to containsKey() where... |
tree | commitdiff |
| 2009-03-23 |
jjenista | don't do strong updates on array element references |
tree | commitdiff |
| 2009-03-23 |
bdemsky | small test |
tree | commitdiff |
| 2009-03-23 |
bdemsky | even simpler |
tree | commitdiff |
| 2009-03-20 |
jjenista | new parameter model and mapping procedure stable, doing... |
tree | commitdiff |
| 2009-03-20 |
jjenista | more progress toward new parameter model |
tree | commitdiff |
| 2009-03-19 |
jjenista | Stable, partially functional implementation of new... |
tree | commitdiff |
| 2009-03-17 |
jjenista | Build aliased parameter models--still a partial impleme... |
tree | commitdiff |
| 2009-03-16 |
jjenista | partway to new parameter model |
tree | commitdiff |
| 2009-03-13 |
jjenista | Be more precise about enqueing dependent method context... |
tree | commitdiff |
| 2009-03-12 |
jjenista | another test |
tree | commitdiff |
| 2009-03-09 |
jjenista | A small example with allocated regions propagating... |
tree | commitdiff |
| 2009-03-05 |
jjenista | Alter token propagation from store so that computed... |
tree | commitdiff |
| 2009-03-04 |
jjenista | during token propagation for store, change to, don... |
tree | commitdiff |
| 2009-03-04 |
jjenista | change global sweep to shrink reachability sets rather... |
tree | commitdiff |
| 2009-03-03 |
jjenista | Bug fix: report aliases between allocated objects in... |
tree | commitdiff |
| 2009-02-04 |
jjenista | Handle multi-dimensional arrays in disjointness analysis |
tree | commitdiff |
| 2008-11-11 |
jjenista | added concept of method context |
tree | commitdiff |
| 2008-10-17 |
jjenista | test doesn't work\! |
tree | commitdiff |
| 2008-10-17 |
jjenista | new test for paper example |
tree | commitdiff |
| 2008-10-09 |
jjenista | Added specific method call improvement test case for... |
tree | commitdiff |
| 2008-10-08 |
jjenista | Global sweep added |
tree | commitdiff |
| 2008-10-08 |
jjenista | Committing a stable version of global sweep that works... |
tree | commitdiff |
| 2008-10-03 |
jjenista | Fixed a hack that was bugging me with a proper solution. |
tree | commitdiff |
| 2008-10-01 |
jjenista | Tighten up use of canonical objects and halt system... |
tree | commitdiff |
| 2008-09-24 |
jjenista | Bug fix where two isolated heap regions with empty... |
tree | commitdiff |
| 2008-09-23 |
jjenista | First bug fix is that the "unshadow" token conversion... |
tree | commitdiff |
| 2008-09-18 |
jjenista | test for immutable instead of primitive to decide if... |
tree | commitdiff |
| 2008-09-09 |
jjenista | improvements |
tree | commitdiff |
| 2008-09-09 |
jjenista | fix dumb bug in test case, add graphing option |
tree | commitdiff |
| 2008-09-09 |
jjenista | uncommenting all tests |
tree | commitdiff |
| 2008-08-30 |
jjenista | Put the rest of the top-level interface together |
tree | commitdiff |
| 2008-08-30 |
jjenista | alias query for param to alloc site |
tree | commitdiff |
| 2008-08-30 |
jjenista | step toward repairing top-level alias query interface |
tree | commitdiff |
| 2008-08-29 |
jjenista | Prune edges by field name and type when mapping from... |
tree | commitdiff |
| 2008-08-29 |
jjenista | added support for array element nodes |
tree | commitdiff |
| 2008-08-27 |
jjenista | update for methods and renaming of assignments for... |
tree | commitdiff |
| 2008-08-27 |
jjenista | write-to-graph changes |
tree | commitdiff |
| 2008-08-26 |
jjenista | bug fix: when calculating methods dependent on a new... |
tree | commitdiff |
| 2008-08-25 |
jjenista | method call stably implemented as a first pass, results... |
tree | commitdiff |
| 2008-08-21 |
jjenista | more method call stuff, still partial |
tree | commitdiff |
| 2008-08-21 |
jjenista | stable, still partial method calls |
tree | commitdiff |
| 2008-08-18 |
jjenista | Changed allocation depth to default to minimum possible... |
tree | commitdiff |
| 2008-08-18 |
jjenista | Heap regions with no reachability token need to have... |
tree | commitdiff |
| 2008-08-15 |
jjenista | strong updates, everything ready to do method calls |
tree | commitdiff |
| 2008-08-15 |
jjenista | HeapRegionNode and ReferenceEdge both have had the... |
tree | commitdiff |
| 2008-08-15 |
jjenista | Retooled edges and basic stuff is working again (finall... |
tree | commitdiff |
| 2008-08-13 |
jjenista | Node and edge equality and hash updates |
tree | commitdiff |
| 2008-08-13 |
jjenista | token classes combed over and tested thoroughly |
tree | commitdiff |
| 2008-08-13 |
jjenista | updated TokenTuple and TokenTupleSet, tested |
tree | commitdiff |
| 2008-08-12 |
jjenista | Made a big change to reference edges, touched a lot... |
tree | commitdiff |
| 2008-08-11 |
jjenista | equals() and hashCode() methods are bunk |
tree | commitdiff |
| 2008-08-06 |
jjenista | Added fields to ReferenceEdgeProperties and combed... |
tree | commitdiff |
| 2008-08-05 |
jjenista | Break aging into smaller procedures and improve graphin... |
tree | commitdiff |
| 2008-08-05 |
jjenista | Prune change sets during token prop by beta info only... |
tree | commitdiff |
| 2008-08-04 |
jjenista | Fixed x.f = y operation |
tree | commitdiff |
| 2008-07-27 |
jjenista | Reachability bug fixes. Tokens propagate and age in... |
tree | commitdiff |
| 2008-07-27 |
jjenista | Token propagation for normal assignments fixed. Tokens... |
tree | commitdiff |
| 2008-07-18 |
jjenista | Added some functionality to reachability classes that... |
tree | commitdiff |
| 2008-07-17 |
jjenista | Fixed propagation, different change sets for the x... |
tree | commitdiff |
| 2008-07-16 |
jjenista | Fixed a few minor bugs in token propagation, and major... |
tree | commitdiff |
| 2008-07-15 |
jjenista | More reachability implementation, no token propagation... |
tree | commitdiff |
| 2008-07-15 |
jjenista | Added reachability to simple edge cases. |
tree | commitdiff |
| 2008-07-09 |
jjenista | Added reachability classes, all of which are extensions... |
tree | commitdiff |
| 2008-07-02 |
jjenista | Starting to integrate reachability classes into ownership. |
tree | commitdiff |
| 2008-07-01 |
jjenista | special union of reachability sets works correctly now |
tree | commitdiff |
| 2008-06-26 |
jjenista | Straightened out TokenTuple equality and hash codes... |
tree | commitdiff |
| 2008-06-24 |
jjenista | some slight testing changes |
tree | commitdiff |
| 2008-04-23 |
jjenista | Test construction of disjoint graphs and let parameters... |
tree | commitdiff |
| 2008-04-16 |
jjenista | Properly use transitive closure of allocation sites... |
tree | commitdiff |
| 2008-04-08 |
jjenista | Fixed a bug in assigning temp to new allocation. Clear... |
tree | commitdiff |
| 2008-03-31 |
jjenista | Altered ownership graph to dot file by removing label... |
tree | commitdiff |
| 2008-03-27 |
jjenista | Stable capture. |
tree | commitdiff |
| 2008-03-26 |
jjenista | Stable capture of work on method call resolution, speci... |
tree | commitdiff |
| 2008-03-21 |
jjenista | Collect merge of FlatReturn ownership graphs for use... |
tree | commitdiff |
| 2008-03-11 |
jjenista | Fixed bug that heap regions from allocation sites are... |
tree | commitdiff |
| 2008-03-10 |
jjenista | Most up-to-date allocation site algorithm implemented... |
tree | commitdiff |
| 2008-03-06 |
jjenista | Update parts of test to validate ownership graph operat... |
tree | commitdiff |
| 2008-03-03 |
jjenista | Capture stable state. |
tree | commitdiff |
| 2008-02-29 |
jjenista | Method scheduling handles recursion and dependency. |
tree | commitdiff |
| 2008-02-22 |
jjenista | Capture stable point. |
tree | commitdiff |
| 2008-02-20 |
jjenista | Changed integration of ownership analysis into Main... |
tree | commitdiff |
| 2008-02-05 |
jjenista | Capturing tests before making big changes to ownership... |
tree | commitdiff |
| 2007-11-30 |
jjenista | Fixed a bug where OwnershipGraph.writeGraph() visits... |
tree | commitdiff |
| 2007-11-28 |
jjenista | Found a bug in OwnershipGraph.java when writing out... |
tree | commitdiff |
| 2007-11-28 |
jjenista | OwnershipGraph and Node classes are working and tested. |
tree | commitdiff |
| 2007-11-13 |
jjenista | Fine heap representation, can only handle simple code. |
tree | commitdiff |
| 2007-11-13 |
jjenista | Basic ownership analysis and a simple alias test added. |
tree | commitdiff |
|
projects / IRC.git / history