| 2011-04-27 |
bdemsky | switch to spaces only.. |
tree | commitdiff |
| 2011-04-27 |
bdemsky | Fix tabbing.... Please fix your editors so they do... |
tree | commitdiff |
| 2010-05-03 |
yeom | bring a snapshot before further changes of memory queue... |
tree | commitdiff |
| 2010-03-31 |
yeom | fixes for memory effects analysis. |
tree | commitdiff |
| 2010-01-21 |
yeom | bug fix, converting method effects into sese effects. |
tree | commitdiff |
| 2010-01-18 |
yeom | changes. |
tree | commitdiff |
| 2010-01-13 |
yeom | changes in SESE lock scheme using clique covering. |
tree | commitdiff |
| 2010-01-06 |
yeom | changes. |
tree | commitdiff |
| 2009-12-23 |
yeom | initial commit for adding memory conflicts feature... |
tree | commitdiff |
| 2009-11-24 |
yeom | working on building the conflict graph. |
tree | commitdiff |
| 2009-11-18 |
yeom | reflect changes of allocation site and heap region... |
tree | commitdiff |
| 2009-11-06 |
jjenista | don't keep an analysis graph for every program point... |
tree | commitdiff |
| 2009-11-05 |
jjenista | edge type improvement bug fixes, have to deal with... |
tree | commitdiff |
| 2009-11-04 |
jjenista | Use types in program statements to make graph edges... |
tree | commitdiff |
| 2009-11-03 |
yeom | changes toward keeping globally unique identifier for... |
tree | commitdiff |
| 2009-10-30 |
jjenista | bug fix, class library results improved, but directto... |
tree | commitdiff |
| 2009-10-30 |
jjenista | new analysis for array references that create no new... |
tree | commitdiff |
| 2009-10-28 |
jjenista | bug fix when applying store results from multiple possi... |
tree | commitdiff |
| 2009-10-23 |
jjenista | starting implementation for access paths to improve... |
tree | commitdiff |
| 2009-10-21 |
jjenista | Added feature for nullfying dead variables, which didn... |
tree | commitdiff |
| 2009-10-20 |
jjenista | revert alias set computation changes, stick with old way |
tree | commitdiff |
| 2009-10-19 |
jjenista | omputation to determine set of aliased parameter indice... |
tree | commitdiff |
| 2009-10-19 |
jjenista | little changes to keep, debugging removed |
tree | commitdiff |
| 2009-10-16 |
jjenista | compiler options for call map debugging |
tree | commitdiff |
| 2009-10-14 |
jjenista | updating graph display options |
tree | commitdiff |
| 2009-10-08 |
jjenista | Allow some disjointness improvements to be turned off... |
tree | commitdiff |
| 2009-10-08 |
yeom | disjoint analysis with a set of flagged allocation... |
tree | commitdiff |
| 2009-10-07 |
yeom | changes to maintain strong update effects. |
tree | commitdiff |
| 2009-10-05 |
jjenista | a bug that only allows more aliasing than can be possib... |
tree | commitdiff |
| 2009-10-03 |
yeom | add analyzing SESE effects. generate read&write set... |
tree | commitdiff |
| 2009-10-02 |
jjenista | add option to graph visualization that supresses reacha... |
tree | commitdiff |
| 2009-09-30 |
yeom | changes to be tainted only if the method or its callees... |
tree | commitdiff |
| 2009-09-29 |
yeom | Add a running flag 'methodeffects' for new analysis. |
tree | commitdiff |
| 2009-09-28 |
yeom | bug fix |
tree | commitdiff |
| 2009-09-28 |
yeom | initial commit for maintaining reference edges with... |
tree | commitdiff |
| 2009-09-25 |
yeom | fixes to handle non-static method properly. |
tree | commitdiff |
| 2009-09-25 |
yeom | minor changes |
tree | commitdiff |
| 2009-09-25 |
yeom | move method effects analysis into disjoint analysis. |
tree | commitdiff |
| 2009-09-24 |
yeom | initial commit for method effects analysis. |
tree | commitdiff |
| 2009-09-23 |
jjenista | new parameter decomposition, can't chain results yet |
tree | commitdiff |
| 2009-09-18 |
jjenista | an interface for supporting decomposition of disjointne... |
tree | commitdiff |
| 2009-09-17 |
jjenista | explicit null heap region changes rolled back |
tree | commitdiff |
| 2009-09-15 |
jjenista | allocated regions have class fields initialized to... |
tree | commitdiff |
| 2009-09-15 |
jjenista | more null region fixes, but I think method results... |
tree | commitdiff |
| 2009-09-15 |
jjenista | added support for null heap region, doesn't work perfec... |
tree | commitdiff |
| 2009-09-14 |
jjenista | fix for x = y.f statements copying by type and ignoring... |
tree | commitdiff |
| 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 |
| next |
projects / IRC.git / history