| 2010-03-17 |
jjenista | working on reach prop, pred bugs, basic tests still...
|
commit | commitdiff | tree |
| 2010-03-17 |
jjenista | reach propagation not working, getting null states...
|
commit | commitdiff | tree |
| 2010-03-16 |
jjenista | working hard on reachability, bunch of changes, still...
|
commit | commitdiff | tree |
| 2010-03-16 |
jjenista | checkin a crash fix so yonghun can run on benchmarks...
|
commit | commitdiff | tree |
| 2010-03-16 |
jjenista | updating the global sweep and some related code--this...
|
commit | commitdiff | tree |
| 2010-03-15 |
jjenista | have to test predicates of callee states before admitting...
|
commit | commitdiff | tree |
| 2010-03-15 |
jjenista | lots of untested code, but compiles, for attaching...
|
commit | commitdiff | tree |
| 2010-03-15 |
jjenista | most of the missing context-rewriting code
|
commit | commitdiff | tree |
| 2010-03-13 |
jjenista | a start on reachability, not fully functioning yet
|
commit | commitdiff | tree |
| 2010-03-12 |
jjenista | if an operation on canonical objects wants to use other...
|
commit | commitdiff | tree |
| 2010-03-12 |
jjenista | a test that shows reachabiltiy states are broken
|
commit | commitdiff | tree |
| 2010-03-12 |
jjenista | bunch of bug fixes, graphs appear to be working mechanically...
|
commit | commitdiff | tree |
| 2010-03-12 |
jjenista | making a big change to call site transform to calculate...
|
commit | commitdiff | tree |
| 2010-03-11 |
jjenista | debugging something else, but commiting this bug fix...
|
commit | commitdiff | tree |
| 2010-03-11 |
jjenista | bug fix yonghun found, return value's region may be...
|
commit | commitdiff | tree |
| 2010-03-11 |
jjenista | there was a simple fix for variable problem, in new...
|
commit | commitdiff | tree |
| 2010-03-11 |
jjenista | caller local variables to in-context regions are modeled...
|
commit | commitdiff | tree |
| 2010-03-11 |
jjenista | Not the most elegant fix, but out-of-context nodes...
|
commit | commitdiff | tree |
| 2010-03-10 |
jjenista | out-of-context edges prevent convergence...
|
commit | commitdiff | tree |
| 2010-03-10 |
jjenista | lots of bug fixes, system cannot compute even simple...
|
commit | commitdiff | tree |
| 2010-03-10 |
jjenista | big checkin, lots of call site transfer bug fixes,...
|
commit | commitdiff | tree |
| 2010-03-09 |
jjenista | callee elements brought into caller get predicates...
|
commit | commitdiff | tree |
| 2010-03-08 |
jjenista | edge merge
|
commit | commitdiff | tree |
| 2010-03-04 |
jjenista | bug fix, other transfer funcs invoke mutating methods...
|
commit | commitdiff | tree |
| 2010-03-04 |
jjenista | getting closer, still major bugs in call site transfer...
|
commit | commitdiff | tree |
| 2010-03-03 |
jjenista | found a bug where an object of one reach graph could...
|
commit | commitdiff | tree |
| 2010-03-01 |
jjenista | check in a debug mode for call site transfer I use...
|
commit | commitdiff | tree |
| 2010-02-23 |
jjenista | system stable, call site transform wipes out graphs...
|
commit | commitdiff | tree |
| 2010-02-23 |
jjenista | a helpful method
|
commit | commitdiff | tree |
| 2010-02-22 |
jjenista | bug fix, was too aggressive with equals method for...
|
commit | commitdiff | tree |
| 2010-02-19 |
jjenista | checking in this test before monkeying around with...
|
commit | commitdiff | tree |
| 2010-02-19 |
jjenista | squashing bugs
|
commit | commitdiff | tree |
| 2010-02-19 |
jjenista | analysis not terminating, looking for things that should...
|
commit | commitdiff | tree |
| 2010-02-19 |
jjenista | big update--bringing implementation of new analysis...
|
commit | commitdiff | tree |
| 2010-02-11 |
jjenista | reevaluating abstract garbage collection, for now leave...
|
commit | commitdiff | tree |
| 2010-02-09 |
jjenista | change analysis so nodes are added on demand, and abstractly...
|
commit | commitdiff | tree |
| 2010-02-04 |
jjenista | implementing
|
commit | commitdiff | tree |
| 2010-02-02 |
jjenista | implementing
|
commit | commitdiff | tree |
| 2010-01-29 |
jjenista | make mlp related makefiles use a relative buildscript...
|
commit | commitdiff | tree |
| 2010-01-29 |
jjenista | a tiny test exposing a bug, we think might be memory...
|
commit | commitdiff | tree |
| 2010-01-29 |
jjenista | realized there were two print statements in regression...
|
commit | commitdiff | tree |
| 2010-01-28 |
jjenista | bug fix for ready-static-dynamic variable classification...
|
commit | commitdiff | tree |
| 2010-01-28 |
jjenista | alert user if allocating an SESE record fails
|
commit | commitdiff | tree |
| 2010-01-20 |
jjenista | bug fix: do dynamic tracking when a variable's source...
|
commit | commitdiff | tree |
| 2010-01-20 |
jjenista | bug fix for copying locals to out-set
|
commit | commitdiff | tree |
| 2010-01-20 |
jjenista | fixed a bug in not-available set calculation for MLP
|
commit | commitdiff | tree |
| 2010-01-20 |
jjenista | added a benchmark for disjointness reporting
|
commit | commitdiff | tree |
| 2010-01-20 |
jjenista | finding mlp analysis bugs
|
commit | commitdiff | tree |
| 2010-01-07 |
jjenista | more implementation
|
commit | commitdiff | tree |
| 2010-01-07 |
jjenista | some old things need to be changed around, like no...
|
commit | commitdiff | tree |
| 2010-01-07 |
jjenista | more implementation
|
commit | commitdiff | tree |
| 2010-01-06 |
jjenista | more implementation
|
commit | commitdiff | tree |
| 2010-01-06 |
jjenista | more implementation
|
commit | commitdiff | tree |
| 2010-01-04 |
jjenista | more implementation
|
commit | commitdiff | tree |
| 2009-12-31 |
jjenista | more implementation
|
commit | commitdiff | tree |
| 2009-12-30 |
jjenista | working on new implementation
|
commit | commitdiff | tree |
| 2009-12-10 |
jjenista | Stable compile finally, but system crashing in mid...
|
commit | commitdiff | tree |
| 2009-12-09 |
jjenista | changes
|
commit | commitdiff | tree |
| 2009-12-08 |
jjenista | changes
|
commit | commitdiff | tree |
| 2009-12-07 |
jjenista | changes
|
commit | commitdiff | tree |
| 2009-12-07 |
jjenista | implementing
|
commit | commitdiff | tree |
| 2009-12-02 |
jjenista | not put together yet, but nice to have a task benchmark...
|
commit | commitdiff | tree |
| 2009-12-02 |
jjenista | start of a revised disjoint reachability analysis
|
commit | commitdiff | tree |
| 2009-12-02 |
jjenista | allow construction outside normal compiler, such as...
|
commit | commitdiff | tree |
| 2009-11-17 |
jjenista | inlined a getKey and get op in sendFeedback
|
commit | commitdiff | tree |
| 2009-11-06 |
jjenista | don't keep an analysis graph for every program point...
|
commit | commitdiff | tree |
| 2009-11-06 |
jjenista | experimenting with directto benchmark
|
commit | commitdiff | tree |
| 2009-11-06 |
jjenista | revert buildscript mem usage to last week so dw-8 can...
|
commit | commitdiff | tree |
| 2009-11-05 |
jjenista | edge type improvement bug fixes, have to deal with...
|
commit | commitdiff | tree |
| 2009-11-04 |
jjenista | Use types in program statements to make graph edges...
|
commit | commitdiff | tree |
| 2009-10-30 |
jjenista | bug fix, class library results improved, but directto...
|
commit | commitdiff | tree |
| 2009-10-30 |
jjenista | new analysis for array references that create no new...
|
commit | commitdiff | tree |
| 2009-10-30 |
jjenista | an analysis for maintaining a relation at each program...
|
commit | commitdiff | tree |
| 2009-10-28 |
jjenista | bug fix when applying store results from multiple possible...
|
commit | commitdiff | tree |
| 2009-10-23 |
jjenista | starting implementation for access paths to improve...
|
commit | commitdiff | tree |
| 2009-10-21 |
jjenista | Added feature for nullfying dead variables, which didn...
|
commit | commitdiff | tree |
| 2009-10-20 |
jjenista | revert alias set computation changes, stick with old way
|
commit | commitdiff | tree |
| 2009-10-19 |
jjenista | omputation to determine set of aliased parameter indices...
|
commit | commitdiff | tree |
| 2009-10-19 |
jjenista | little changes to keep, debugging removed
|
commit | commitdiff | tree |
| 2009-10-16 |
jjenista | working on directto benchmark--removing code like unused...
|
commit | commitdiff | tree |
| 2009-10-16 |
jjenista | compiler options for call map debugging
|
commit | commitdiff | tree |
| 2009-10-14 |
jjenista | investigating OOPSLA benchmarks further
|
commit | commitdiff | tree |
| 2009-10-14 |
jjenista | updating graph display options
|
commit | commitdiff | tree |
| 2009-10-08 |
jjenista | Allow some disjointness improvements to be turned off...
|
commit | commitdiff | tree |
| 2009-10-08 |
jjenista | updating results
|
commit | commitdiff | tree |
| 2009-10-05 |
jjenista | a bug that only allows more aliasing than can be possible...
|
commit | commitdiff | tree |
| 2009-10-02 |
jjenista | trying to make disjointness example versus shape even...
|
commit | commitdiff | tree |
| 2009-10-02 |
jjenista | add option to graph visualization that supresses reachabilit...
|
commit | commitdiff | tree |
| 2009-09-23 |
jjenista | new parameter decomposition, can't chain results yet
|
commit | commitdiff | tree |
| 2009-09-22 |
jjenista | a common example to compare with shape analyis
|
commit | commitdiff | tree |
| 2009-09-18 |
jjenista | an interface for supporting decomposition of disjointness...
|
commit | commitdiff | tree |
| 2009-09-17 |
jjenista | explicit null heap region changes rolled back
|
commit | commitdiff | tree |
| 2009-09-15 |
jjenista | allocated regions have class fields initialized to...
|
commit | commitdiff | tree |
| 2009-09-15 |
jjenista | more null region fixes, but I think method results...
|
commit | commitdiff | tree |
| 2009-09-15 |
jjenista | added support for null heap region, doesn't work perfectly...
|
commit | commitdiff | tree |
| 2009-09-14 |
jjenista | fix for x = y.f statements copying by type and ignoring...
|
commit | commitdiff | tree |
| 2009-09-08 |
jjenista | obj support in MLP is in good shape, code gets generated...
|
commit | commitdiff | tree |
| 2009-09-04 |
jjenista | Fixed variable dynamic source bookkeeping bug, regression...
|
commit | commitdiff | tree |
| 2009-08-31 |
jjenista | Variable result table pruning is buggy, remove for...
|
commit | commitdiff | tree |
| 2009-08-28 |
jjenista | Lots of bug fixes, stable system, parallelized binary...
|
commit | commitdiff | tree |
| next |
projects / IRC.git / search