2010-03-31 | yeom | fixes for memory effects analysis. | blob | commitdiff | raw |
2010-01-21 | yeom | bug fix, converting method effects into sese effects. | blob | commitdiff | raw | diff to current |
2009-11-18 | yeom | reflect changes of allocation site and heap region... | blob | commitdiff | raw | diff to current |
2009-10-07 | yeom | changes to maintain strong update effects. | blob | commitdiff | raw | diff to current |
2009-09-28 | yeom | initial commit for maintaining reference edges with... | blob | commitdiff | raw | diff to current |
2009-09-25 | yeom | fixes to handle non-static method properly. | blob | commitdiff | raw | diff to current |
2009-09-25 | yeom | move method effects analysis into disjoint analysis. | blob | commitdiff | raw | diff to current |