2009-04-09 |
jjenista | stable introduction of mlp analysis, infrastructure... |
tree | commitdiff |
2009-04-06 |
jjenista | Move mlp and sese stuff into a separate compiler pass |
tree | commitdiff |
2009-03-24 |
jjenista | edge matching bug fix and add alpha source states back |
tree | commitdiff |
2009-03-24 |
bdemsky | cache lots of results instead of recomputing them |
tree | commitdiff |
2009-03-24 |
jjenista | fix bug when mapping callee edges into caller, gotta... |
tree | commitdiff |
2009-03-24 |
bdemsky | speedup |
tree | commitdiff |
2009-03-24 |
jjenista | improve strong update conditions for store, add strong... |
tree | commitdiff |
2009-03-24 |
bdemsky | improve performance |
tree | commitdiff |
2009-03-23 |
jjenista | fix edge propagation to union effects |
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 |
jjenista | don't add immutable or primitive parameters to alias... |
tree | commitdiff |
2009-03-23 |
bdemsky | evil hack...need to fix arity scheme to match paper... |
tree | commitdiff |
2009-03-23 |
jjenista | commenting out debugging |
tree | commitdiff |
2009-03-22 |
jjenista | merging lab changes with home changes |
tree | commitdiff |
2009-03-22 |
jjenista | just leave commented becuase it is a useful little... |
tree | commitdiff |
2009-03-22 |
jjenista | see array dimensions when writing out |
tree | commitdiff |
2009-03-22 |
jjenista | changes and debug |
tree | commitdiff |
2009-03-21 |
jjenista | changes |
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 | Partial, stable update that builds param index mappings... |
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-16 |
jjenista | Stable capture while moving towards typed heap regions... |
tree | commitdiff |
2009-03-13 |
jjenista | Be more precise about enqueing dependent method context... |
tree | commitdiff |
2009-03-13 |
jjenista | Bug fixes: |
tree | commitdiff |
2009-03-12 |
jjenista | Rewrote global sweep to match paper, keeping ugly debug... |
tree | commitdiff |
2009-03-12 |
jjenista | improve report and debug for analysis interface |
tree | commitdiff |
2009-03-12 |
jjenista | allows application of change set to reachability set... |
tree | commitdiff |
2009-03-10 |
jjenista | changed analysis public interface to report a set of... |
tree | commitdiff |
2009-03-10 |
jjenista | Crack at tuning the punt number between keeping problem... |
tree | commitdiff |
2009-03-09 |
jjenista | Bug fix, field matching for fields that model array... |
tree | commitdiff |
2009-03-09 |
jjenista | Bug fix, was not growing the mapping of descriptors... |
tree | commitdiff |
2009-03-09 |
jjenista | Bug fix in applying change sets, have to use the source... |
tree | commitdiff |
2009-03-09 |
jjenista | changed toString so method context's produce unique... |
tree | commitdiff |
2009-03-06 |
jjenista | Support cast nodes |
tree | commitdiff |
2009-03-06 |
jjenista | Fix bug where element access fields have wrong type... |
tree | commitdiff |
2009-03-05 |
jjenista | fiddling with debug util |
tree | commitdiff |
2009-03-05 |
jjenista | Alter token propagation from store so that computed... |
tree | commitdiff |
2009-03-05 |
jjenista | fix bug in alias reporting for Java programs |
tree | commitdiff |
2009-03-04 |
jjenista | Topological sort actually helps some benchmarks quite... |
tree | commitdiff |
2009-03-04 |
jjenista | during token propagation for store, change to, don... |
tree | commitdiff |
2009-03-04 |
jjenista | Add a remove() operation |
tree | commitdiff |
2009-03-04 |
jjenista | topological sort has little impact in overall analysis... |
tree | commitdiff |
2009-03-04 |
jjenista | change global sweep to shrink reachability sets rather... |
tree | commitdiff |
2009-03-04 |
jjenista | Topologically sort callee leaves to front of analysis... |
tree | commitdiff |
2009-03-03 |
jjenista | Bug fix: report aliases between allocated objects in... |
tree | commitdiff |
2009-02-11 |
jjenista | fixed a bug, not an analysis bug, just a bug that write... |
tree | commitdiff |
2009-02-05 |
jjenista | eliminate null disjoint tags when printing and use... |
tree | commitdiff |
2009-02-04 |
jjenista | Handle multi-dimensional arrays in disjointness analysis |
tree | commitdiff |
2009-02-02 |
jjenista | disjointness for Java has all planned features |
tree | commitdiff |
2009-02-02 |
jjenista | working support for disjointness on Java, still needs... |
tree | commitdiff |
2009-01-31 |
jjenista | Added disjoint analysis for Java |
tree | commitdiff |
2009-01-13 |
jjenista | just a little change to print the full names of methods... |
tree | commitdiff |
2008-11-12 |
jjenista | trim outputs for benchmarking |
tree | commitdiff |
2008-11-11 |
jjenista | add new class file |
tree | commitdiff |
2008-11-11 |
jjenista | added concept of method context |
tree | commitdiff |
2008-11-10 |
jjenista | eliminate two erroneous statements in callee->caller... |
tree | commitdiff |
2008-11-09 |
jjenista | make sure strong updates do not affect benchmark result... |
tree | commitdiff |
2008-10-27 |
jjenista | realized strong updates has incorrect conditions, made... |
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-06 |
jjenista | Added hooks for global sweep and made sure that strong... |
tree | commitdiff |
2008-10-03 |
jjenista | Fixed a hack that was bugging me with a proper solution. |
tree | commitdiff |
2008-10-03 |
jzhou | add profile codes for multicore version |
tree | commitdiff |
2008-10-01 |
jjenista | Fixed up another canonical misuse, changed wording... |
tree | commitdiff |
2008-10-01 |
jjenista | Tighten up use of canonical objects and halt system... |
tree | commitdiff |
2008-09-29 |
jjenista | Introduced ZEROORMORE arity, something appears to be... |
tree | commitdiff |
2008-09-25 |
jjenista | Fix implementation to use little d when possible, and... |
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-22 |
jjenista | rewriting of callee tokens into caller tokens was incorrect |
tree | commitdiff |
2008-09-18 |
jjenista | pull in class files that already exist in library |
tree | commitdiff |
2008-09-18 |
jjenista | exhaustive arity improves for benchmarks with ad=1 |
tree | commitdiff |
2008-09-18 |
jjenista | test for immutable instead of primitive to decide if... |
tree | commitdiff |
2008-09-17 |
jjenista | helpful progress reporting |
tree | commitdiff |
2008-09-11 |
jjenista | Bug fix: when rewriting a token set every permutation... |
tree | commitdiff |
2008-09-11 |
jjenista | make toString more readable |
tree | commitdiff |
2008-09-09 |
jjenista | big fix for tracking latest ownership graph associated... |
tree | commitdiff |
2008-09-09 |
jjenista | fix dumb bug in test case, add graphing option |
tree | commitdiff |
2008-09-09 |
jjenista | capture some debugging code |
tree | commitdiff |
2008-09-05 |
jjenista | never needed this |
tree | commitdiff |
2008-09-04 |
jjenista | add allocation depth to alias output file |
tree | commitdiff |
2008-09-03 |
jjenista | added ownership options |
tree | commitdiff |
2008-09-03 |
jjenista | forgot to make tabbing |
tree | commitdiff |
2008-09-03 |
jjenista | minor bug fixes and support for matching classes to... |
tree | commitdiff |
2008-09-02 |
jjenista | only analyze flat method node to allocate parameter... |
tree | commitdiff |
2008-09-02 |
jjenista | been forgetting to make tabbing |
tree | commitdiff |
2008-09-01 |
jjenista | Changed the top-level procedure for resolving a method... |
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 | bug fix, alpha and beta for allocated callee nodes... |
tree | commitdiff |
next |