2007-03-26 | adam | Result: mostly inert changes | blob | commitdiff |
2007-02-26 | adam | make Result.usedByNonDoomedNode() more efficient | blob | commitdiff | diff to current |
2007-02-26 | adam | make Result final | blob | commitdiff | diff to current |
2007-02-26 | adam | add killing of doomed nodes via Node.check()/Result... | blob | commitdiff | diff to current |
2007-02-26 | adam | make Result implement GraphViz.ToGraphViz | blob | commitdiff | diff to current |
2007-02-26 | adam | summary patch for Nov->Jan work | blob | commitdiff | diff to current |