Create analysis model for string literals in disjointness analysis that supports...
[IRC.git] / Robust / src / Analysis / Disjoint / ReachGraph.java
2010-03-04 jjenistagetting closer, still major bugs in call site transfer...
2010-03-03 jjenistafound a bug where an object of one reach graph could...
2010-03-01 jjenistacheck in a debug mode for call site transfer I use...
2010-02-23 jjenistasystem stable, call site transform wipes out graphs...
2010-02-19 jjenistabig update--bringing implementation of new analysis...
2010-02-11 jjenistareevaluating abstract garbage collection, for now leave...
2010-02-09 jjenistachange analysis so nodes are added on demand, and abstr...
2010-02-04 jjenistaimplementing
2010-02-02 jjenistaimplementing
2010-01-20 jjenistabug fix: do dynamic tracking when a variable's source...
2010-01-07 jjenistamore implementation
2010-01-07 jjenistasome old things need to be changed around, like no...
2010-01-07 jjenistamore implementation
2010-01-06 jjenistamore implementation
2010-01-06 jjenistamore implementation
2010-01-04 jjenistamore implementation
2009-12-31 jjenistamore implementation
2009-12-30 jjenistaworking on new implementation
2009-12-10 jjenistaStable compile finally, but system crashing in mid...
2009-12-09 jjenistachanges
2009-12-08 jjenistachanges
2009-12-07 jjenistachanges
2009-12-02 jjenistastart of a revised disjoint reachability analysis