2009-09-25 |
yeom | fixes to handle non-static method properly. |
blob | commitdiff | raw |
2009-09-25 |
yeom | move method effects analysis into disjoint analysis. |
blob | commitdiff | raw | diff to current |
2009-09-24 |
yeom | initial commit for method effects analysis. |
blob | commitdiff | raw | diff to current |
2009-09-23 |
jjenista | new parameter decomposition, can't chain results yet |
blob | commitdiff | raw | diff to current |
2009-09-18 |
jjenista | an interface for supporting decomposition of disjointne... |
blob | commitdiff | raw | diff to current |
2009-09-17 |
jjenista | explicit null heap region changes rolled back |
blob | commitdiff | raw | diff to current |
2009-09-15 |
jjenista | added support for null heap region, doesn't work perfec... |
blob | commitdiff | raw | diff to current |
2009-09-14 |
jjenista | fix for x = y.f statements copying by type and ignoring... |
blob | commitdiff | raw | diff to current |
2009-04-09 |
jjenista | stable introduction of mlp analysis, infrastructure... |
blob | commitdiff | raw | diff to current |
2009-04-06 |
jjenista | Move mlp and sese stuff into a separate compiler pass |
blob | commitdiff | raw | diff to current |
2009-03-24 |
jjenista | edge matching bug fix and add alpha source states back |
blob | commitdiff | raw | diff to current |
2009-03-24 |
jjenista | fix bug when mapping callee edges into caller, gotta... |
blob | commitdiff | raw | diff to current |
2009-03-24 |
jjenista | improve strong update conditions for store, add strong... |
blob | commitdiff | raw | diff to current |
2009-03-23 |
jjenista | fix edge propagation to union effects |
blob | commitdiff | raw | diff to current |
2009-03-23 |
jjenista | don't add immutable or primitive parameters to alias... |
blob | commitdiff | raw | diff to current |
2009-03-22 |
jjenista | just leave commented becuase it is a useful little... |
blob | commitdiff | raw | diff to current |
2009-03-19 |
jjenista | Stable, partially functional implementation of new... |
blob | commitdiff | raw | diff to current |
2009-03-17 |
jjenista | Build aliased parameter models--still a partial impleme... |
blob | commitdiff | raw | diff to current |
2009-03-16 |
jjenista | partway to new parameter model |
blob | commitdiff | raw | diff to current |
2009-03-16 |
jjenista | Stable capture while moving towards typed heap regions... |
blob | commitdiff | raw | diff to current |
2009-03-13 |
jjenista | Be more precise about enqueing dependent method context... |
blob | commitdiff | raw | diff to current |
2009-03-13 |
jjenista | Bug fixes: |
blob | commitdiff | raw | diff to current |
2009-03-12 |
jjenista | improve report and debug for analysis interface |
blob | commitdiff | raw | diff to current |
2009-03-10 |
jjenista | changed analysis public interface to report a set of... |
blob | commitdiff | raw | diff to current |
2009-03-09 |
jjenista | Bug fix, was not growing the mapping of descriptors... |
blob | commitdiff | raw | diff to current |
2009-03-06 |
jjenista | Support cast nodes |
blob | commitdiff | raw | diff to current |
2009-03-06 |
jjenista | Fix bug where element access fields have wrong type... |
blob | commitdiff | raw | diff to current |
2009-03-05 |
jjenista | fiddling with debug util |
blob | commitdiff | raw | diff to current |
2009-03-05 |
jjenista | fix bug in alias reporting for Java programs |
blob | commitdiff | raw | diff to current |
2009-03-04 |
jjenista | Topological sort actually helps some benchmarks quite... |
blob | commitdiff | raw | diff to current |
2009-03-04 |
jjenista | topological sort has little impact in overall analysis... |
blob | commitdiff | raw | diff to current |
2009-03-04 |
jjenista | Topologically sort callee leaves to front of analysis... |
blob | commitdiff | raw | diff to current |
2009-03-03 |
jjenista | Bug fix: report aliases between allocated objects in... |
blob | commitdiff | raw | diff to current |
2009-02-11 |
jjenista | fixed a bug, not an analysis bug, just a bug that write... |
blob | commitdiff | raw | diff to current |
2009-02-05 |
jjenista | eliminate null disjoint tags when printing and use... |
blob | commitdiff | raw | diff to current |
2009-02-04 |
jjenista | Handle multi-dimensional arrays in disjointness analysis |
blob | commitdiff | raw | diff to current |
2009-02-02 |
jjenista | disjointness for Java has all planned features |
blob | commitdiff | raw | diff to current |
2009-02-02 |
jjenista | working support for disjointness on Java, still needs... |
blob | commitdiff | raw | diff to current |
2009-01-31 |
jjenista | Added disjoint analysis for Java |
blob | commitdiff | raw | diff to current |
2009-01-13 |
jjenista | just a little change to print the full names of methods... |
blob | commitdiff | raw | diff to current |
2008-11-12 |
jjenista | trim outputs for benchmarking |
blob | commitdiff | raw | diff to current |
2008-11-11 |
jjenista | added concept of method context |
blob | commitdiff | raw | diff to current |
2008-10-03 |
jzhou | add profile codes for multicore version |
blob | commitdiff | raw | diff to current |
2008-10-01 |
jjenista | Fixed up another canonical misuse, changed wording... |
blob | commitdiff | raw | diff to current |
2008-10-01 |
jjenista | Tighten up use of canonical objects and halt system... |
blob | commitdiff | raw | diff to current |
2008-09-18 |
jjenista | pull in class files that already exist in library |
blob | commitdiff | raw | diff to current |
2008-09-18 |
jjenista | test for immutable instead of primitive to decide if... |
blob | commitdiff | raw | diff to current |
2008-09-17 |
jjenista | helpful progress reporting |
blob | commitdiff | raw | diff to current |
2008-09-11 |
jjenista | Bug fix: when rewriting a token set every permutation... |
blob | commitdiff | raw | diff to current |
2008-09-09 |
jjenista | big fix for tracking latest ownership graph associated... |
blob | commitdiff | raw | diff to current |
2008-09-09 |
jjenista | fix dumb bug in test case, add graphing option |
blob | commitdiff | raw | diff to current |
2008-09-09 |
jjenista | capture some debugging code |
blob | commitdiff | raw | diff to current |
2008-09-04 |
jjenista | add allocation depth to alias output file |
blob | commitdiff | raw | diff to current |
2008-09-03 |
jjenista | added ownership options |
blob | commitdiff | raw | diff to current |
2008-09-03 |
jjenista | forgot to make tabbing |
blob | commitdiff | raw | diff to current |
2008-09-03 |
jjenista | minor bug fixes and support for matching classes to... |
blob | commitdiff | raw | diff to current |
2008-09-02 |
jjenista | only analyze flat method node to allocate parameter... |
blob | commitdiff | raw | diff to current |
2008-09-02 |
jjenista | been forgetting to make tabbing |
blob | commitdiff | raw | diff to current |
2008-09-01 |
jjenista | Changed the top-level procedure for resolving a method... |
blob | commitdiff | raw | diff to current |
2008-08-30 |
jjenista | Put the rest of the top-level interface together |
blob | commitdiff | raw | diff to current |
2008-08-30 |
jjenista | alias query for param to alloc site |
blob | commitdiff | raw | diff to current |
2008-08-30 |
jjenista | step toward repairing top-level alias query interface |
blob | commitdiff | raw | diff to current |
2008-08-29 |
jjenista | added support for array element nodes |
blob | commitdiff | raw | diff to current |
2008-08-27 |
jjenista | update for methods and renaming of assignments for... |
blob | commitdiff | raw | diff to current |
2008-08-27 |
jjenista | write-to-graph changes |
blob | commitdiff | raw | diff to current |
2008-08-26 |
jjenista | bug fix: when calculating methods dependent on a new... |
blob | commitdiff | raw | diff to current |
2008-08-25 |
jjenista | method call stably implemented as a first pass, results... |
blob | commitdiff | raw | diff to current |
2008-08-22 |
jjenista | method call first draft almost finished. Need to go... |
blob | commitdiff | raw | diff to current |
2008-08-19 |
bdemsky | Change tabbing for everything.... |
blob | commitdiff | raw | diff to current |
2008-08-18 |
jjenista | Changed allocation depth to default to minimum possible... |
blob | commitdiff | raw | diff to current |
2008-08-18 |
jjenista | Heap regions with no reachability token need to have... |
blob | commitdiff | raw | diff to current |
2008-08-15 |
jjenista | Retooled edges and basic stuff is working again (finall... |
blob | commitdiff | raw | diff to current |
2008-08-12 |
jjenista | Made a big change to reference edges, touched a lot... |
blob | commitdiff | raw | diff to current |
2008-08-11 |
jjenista | equals() and hashCode() methods are bunk |
blob | commitdiff | raw | diff to current |
2008-08-07 |
jjenista | Bug fix that param2id tables need to initialized for... |
blob | commitdiff | raw | diff to current |
2008-08-05 |
jjenista | Break aging into smaller procedures and improve graphin... |
blob | commitdiff | raw | diff to current |
2008-07-27 |
jjenista | Reachability bug fixes. Tokens propagate and age in... |
blob | commitdiff | raw | diff to current |
2008-07-15 |
jjenista | Added reachability to simple edge cases. |
blob | commitdiff | raw | diff to current |
2008-07-09 |
jjenista | Added reachability classes, all of which are extensions... |
blob | commitdiff | raw | diff to current |
2008-04-16 |
jjenista | Properly use transitive closure of allocation sites... |
blob | commitdiff | raw | diff to current |
2008-04-08 |
jjenista | A little code cleanup and support for different options... |
blob | commitdiff | raw | diff to current |
2008-03-31 |
jjenista | Altered ownership graph to dot file by removing label... |
blob | commitdiff | raw | diff to current |
2008-03-26 |
jjenista | Stable capture of work on method call resolution, speci... |
blob | commitdiff | raw | diff to current |
2008-03-25 |
jjenista | Got clarification on how to resolve method calls, intro... |
blob | commitdiff | raw | diff to current |
2008-03-21 |
jjenista | Collect merge of FlatReturn ownership graphs for use... |
blob | commitdiff | raw | diff to current |
2008-03-13 |
jjenista | Stable state capture. |
blob | commitdiff | raw | diff to current |
2008-03-10 |
jjenista | Most up-to-date allocation site algorithm implemented... |
blob | commitdiff | raw | diff to current |
2008-03-03 |
jjenista | Capture stable state. |
blob | commitdiff | raw | diff to current |
2008-02-29 |
jjenista | Method scheduling handles recursion and dependency. |
blob | commitdiff | raw | diff to current |
2008-02-27 |
jjenista | Capturing stable state. |
blob | commitdiff | raw | diff to current |
2008-02-22 |
jjenista | Capture stable point. |
blob | commitdiff | raw | diff to current |
2008-02-20 |
jjenista | Changed integration of ownership analysis into Main... |
blob | commitdiff | raw | diff to current |
2008-02-12 |
jjenista | Stub out ownership analysis classes that break compilation. |
blob | commitdiff | raw | diff to current |
2008-02-11 |
jjenista | Added generation of method dependency map |
blob | commitdiff | raw | diff to current |
2008-02-05 |
jjenista | capturing before making big changes |
blob | commitdiff | raw | diff to current |
2007-11-30 |
jjenista | Fixed a bug where OwnershipGraph.writeGraph() visits... |
blob | commitdiff | raw | diff to current |
2007-11-28 |
jjenista | OwnershipGraph and Node classes are working and tested. |
blob | commitdiff | raw | diff to current |
2007-11-13 |
jjenista | Fine heap representation, can only handle simple code. |
blob | commitdiff | raw | diff to current |
2007-11-13 |
jjenista | Basic ownership analysis and a simple alias test added. |
blob | commitdiff | raw | diff to current |
2007-11-13 |
jjenista | Added framework for ownership analysis. |
blob | commitdiff | raw | diff to current |
|