2010-03-30 |
jjenista | a test that shows our analysis doesn't always terminate |
tree | commitdiff |
2010-03-26 |
jjenista | all changes for official testing |
tree | commitdiff |
2010-03-25 |
yeom | add power bench. |
tree | commitdiff |
2010-03-25 |
yeom | add annoated kmeans |
tree | commitdiff |
2010-03-25 |
yeom | changes. |
tree | commitdiff |
2010-03-25 |
yeom | add annotated raytracer |
tree | commitdiff |
2010-03-22 |
jjenista | fixed problem by differentiating between an element... |
tree | commitdiff |
2010-03-19 |
jjenista | making debugging easier |
tree | commitdiff |
2010-03-18 |
yeom | a test. |
tree | commitdiff |
2010-03-17 |
jjenista | use different graph writing options to better find... |
tree | commitdiff |
2010-03-17 |
yeom | a test |
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-16 |
jjenista | working hard on reachability, bunch of changes, still... |
tree | commitdiff |
2010-03-16 |
jjenista | updating the global sweep and some related code--this... |
tree | commitdiff |
2010-03-15 |
jjenista | most of the missing context-rewriting code |
tree | commitdiff |
2010-03-12 |
jjenista | a test that shows reachabiltiy states are broken |
tree | commitdiff |
2010-03-12 |
jjenista | bunch of bug fixes, graphs appear to be working mechani... |
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-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-02-19 |
jjenista | checking in this test before monkeying around with... |
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-11 |
jjenista | reevaluating abstract garbage collection, for now leave... |
tree | commitdiff |
2010-02-04 |
jjenista | implementing |
tree | commitdiff |
2010-02-02 |
jjenista | implementing |
tree | commitdiff |
2010-01-07 |
jjenista | more implementation |
tree | commitdiff |
2010-01-06 |
jjenista | more implementation |
tree | commitdiff |
2010-01-04 |
jjenista | more implementation |
tree | commitdiff |
2009-12-30 |
jjenista | working on new implementation |
tree | commitdiff |
2009-12-02 |
jjenista | start of a revised disjoint reachability analysis |
tree | commitdiff |
|