2007-04-20 | adam | UnwrapLeft, error reporting improvements | blob | commitdiff |
2007-03-26 | adam | MAJOR: huge revamp of Sequence, Result, Reduction,... | blob | commitdiff | diff to current |
2007-03-26 | adam | Result: mostly inert changes | blob | commitdiff | diff to current |
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 |