2010-03-22 |
jjenista | couple fixes to make sure out-of-context nodes get... |
tree | commitdiff |
2010-03-22 |
jjenista | fixed problem by differentiating between an element... |
tree | commitdiff |
2010-03-20 |
jjenista | trying to fix call site transfer bug, fixed caused... |
tree | commitdiff |
2010-03-19 |
yeom | changes. |
tree | commitdiff |
2010-03-19 |
jjenista | making debugging easier |
tree | commitdiff |
2010-03-19 |
jjenista | make sure change sets ignore predicates hanging off... |
tree | commitdiff |
2010-03-19 |
jjenista | make sure straight union of reach states or reach sets... |
tree | commitdiff |
2010-03-19 |
yeom | changes. |
tree | commitdiff |
2010-03-19 |
yeom | add interface. |
tree | commitdiff |
2010-03-18 |
jjenista | couple of little bugs working in tandem to wreck reacha... |
tree | commitdiff |
2010-03-17 |
jjenista | use different graph writing options to better find... |
tree | commitdiff |
2010-03-17 |
jjenista | fixed issues with dot graph writing that make our debug... |
tree | commitdiff |
2010-03-17 |
jjenista | using allocation sites in new ways exposed a latent bug |
tree | commitdiff |
2010-03-17 |
yeom | changes for proper handling field. |
tree | commitdiff |
2010-03-17 |
jjenista | was accidentally dropping param var to node edges when... |
tree | commitdiff |
2010-03-17 |
jjenista | working on reach prop, pred bugs, basic tests still... |
tree | commitdiff |
2010-03-17 |
jjenista | reach propagation not working, getting null states... |
tree | commitdiff |
2010-03-16 |
jjenista | working hard on reachability, bunch of changes, still... |
tree | commitdiff |
2010-03-16 |
yeom | bug fix. |
tree | commitdiff |
2010-03-16 |
yeom | changes for handling tasks. |
tree | commitdiff |
2010-03-16 |
jjenista | checkin a crash fix so yonghun can run on benchmarks... |
tree | commitdiff |
2010-03-16 |
jjenista | updating the global sweep and some related code--this... |
tree | commitdiff |
2010-03-15 |
jjenista | have to test predicates of callee states before admitti... |
tree | commitdiff |
2010-03-15 |
jjenista | lots of untested code, but compiles, for attaching... |
tree | commitdiff |
2010-03-15 |
jjenista | most of the missing context-rewriting code |
tree | commitdiff |
2010-03-13 |
jjenista | a start on reachability, not fully functioning yet |
tree | commitdiff |
2010-03-12 |
jjenista | if an operation on canonical objects wants to use other... |
tree | commitdiff |
2010-03-12 |
jjenista | bunch of bug fixes, graphs appear to be working mechani... |
tree | commitdiff |
2010-03-12 |
jjenista | making a big change to call site transform to calculate... |
tree | commitdiff |
2010-03-11 |
jjenista | debugging something else, but commiting this bug fix... |
tree | commitdiff |
2010-03-11 |
jjenista | bug fix yonghun found, return value's region may be... |
tree | commitdiff |
2010-03-11 |
jjenista | there was a simple fix for variable problem, in new... |
tree | commitdiff |
2010-03-11 |
jjenista | caller local variables to in-context regions are modele... |
tree | commitdiff |
2010-03-11 |
jjenista | Not the most elegant fix, but out-of-context nodes... |
tree | commitdiff |
2010-03-10 |
jjenista | out-of-context edges prevent convergence... |
tree | commitdiff |
2010-03-10 |
jjenista | lots of bug fixes, system cannot compute even simple... |
tree | commitdiff |
2010-03-10 |
jjenista | big checkin, lots of call site transfer bug fixes,... |
tree | commitdiff |
2010-03-09 |
jjenista | callee elements brought into caller get predicates... |
tree | commitdiff |
2010-03-08 |
jjenista | edge merge |
tree | commitdiff |
2010-03-04 |
jjenista | bug fix, other transfer funcs invoke mutating methods... |
tree | commitdiff |
2010-03-04 |
jjenista | getting closer, still major bugs in call site transfer... |
tree | commitdiff |
2010-03-03 |
jjenista | found a bug where an object of one reach graph could... |
tree | commitdiff |
2010-03-01 |
jjenista | check in a debug mode for call site transfer I use... |
tree | commitdiff |
2010-02-23 |
jjenista | system stable, call site transform wipes out graphs... |
tree | commitdiff |
2010-02-22 |
jjenista | bug fix, was too aggressive with equals method for... |
tree | commitdiff |
2010-02-19 |
jjenista | squashing bugs |
tree | commitdiff |
2010-02-19 |
jjenista | analysis not terminating, looking for things that shoul... |
tree | commitdiff |
2010-02-19 |
jjenista | big update--bringing implementation of new analysis... |
tree | commitdiff |
2010-02-11 |
jjenista | reevaluating abstract garbage collection, for now leave... |
tree | commitdiff |
2010-02-09 |
jjenista | change analysis so nodes are added on demand, and abstr... |
tree | commitdiff |
2010-02-04 |
jjenista | implementing |
tree | commitdiff |
2010-02-02 |
jjenista | implementing |
tree | commitdiff |
2010-01-20 |
jjenista | bug fix: do dynamic tracking when a variable's source... |
tree | commitdiff |
2010-01-07 |
jjenista | more implementation |
tree | commitdiff |
2010-01-07 |
jjenista | some old things need to be changed around, like no... |
tree | commitdiff |
2010-01-07 |
jjenista | more implementation |
tree | commitdiff |
2010-01-06 |
jjenista | more implementation |
tree | commitdiff |
2010-01-06 |
jjenista | more implementation |
tree | commitdiff |
2010-01-04 |
jjenista | more implementation |
tree | commitdiff |
2009-12-31 |
jjenista | more implementation |
tree | commitdiff |
2009-12-30 |
jjenista | working on new implementation |
tree | commitdiff |
2009-12-10 |
jjenista | Stable compile finally, but system crashing in mid... |
tree | commitdiff |
2009-12-09 |
jjenista | changes |
tree | commitdiff |
2009-12-08 |
jjenista | changes |
tree | commitdiff |
2009-12-07 |
jjenista | changes |
tree | commitdiff |
2009-12-07 |
jjenista | implementing |
tree | commitdiff |
2009-12-02 |
jjenista | start of a revised disjoint reachability analysis |
tree | commitdiff |
|