switch to spaces only..
[IRC.git] / Robust / src / Analysis / Disjoint / ExistPred.java
2011-04-27 bdemskyswitch to spaces only..
2011-04-27 bdemskyFix tabbing.... Please fix your editors so they do...
2010-06-26 jjenistaboth reach states and taints were not propagating to...
2010-06-25 jjenistagetting effects analysis going, need a few more pieces...
2010-06-21 jjenistacapturing partially implemented taints before altering...
2010-03-25 jjenistanew Canonical hash and equals, also running with assert...
2010-03-24 jjenistabug fix in evaluating the various classes of out-of...
2010-03-24 jjenistabug fixes, display improvements, sharing query changes...
2010-03-22 jjenistaadd two out-of-context properties to equals and hashcode
2010-03-22 jjenistafixed problem by differentiating between an element...
2010-03-20 jjenistatrying to fix call site transfer bug, fixed caused...
2010-03-11 jjenistacaller local variables to in-context regions are modele...
2010-03-10 jjenistabig checkin, lots of call site transfer bug fixes,...
2010-03-09 jjenistacallee elements brought into caller get predicates...
2010-03-04 jjenistabug fix, other transfer funcs invoke mutating methods...
2010-03-04 jjenistagetting closer, still major bugs in call site transfer...
2010-02-23 jjenistasystem stable, call site transform wipes out graphs...
2010-02-22 jjenistabug fix, was too aggressive with equals method for...
2010-02-19 jjenistasquashing bugs
2010-02-19 jjenistabig update--bringing implementation of new analysis...
2010-02-02 jjenistaimplementing
2010-01-20 jjenistabug fix: do dynamic tracking when a variable's source...