public VariableNode getVariableNodeNoMutation( TempDescriptor td ) was added for...
[IRC.git] / Robust / src / Analysis / Disjoint / ReachSet.java
2010-05-26 jjenistaporting effects analysis to new disjoint analysis
2010-03-30 jjenistabug fixes, make stack/Q method-visiting a cmd line...
2010-03-25 jjenistanew Canonical hash and equals, also running with assert...
2010-03-23 jjenistalittle bug fixes, adjusted code for detecting sharing...
2010-03-20 jjenistatrying to fix call site transfer bug, fixed caused...
2010-03-19 jjenistamake sure straight union of reach states or reach sets...
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-04 jjenistaimplementing
2009-12-09 jjenistachanges
2009-12-02 jjenistastart of a revised disjoint reachability analysis