2007-11-28 | Michael Schroeder | - fix false friend | blob | commitdiff | raw |
2007-11-16 | Michael Matz | Reduce C&P code by factoring out the uniquifying string... | blob | commitdiff | raw | diff to current |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | raw | diff to current |
2007-10-29 | Michael Schroeder | Use Offset instead of unsigned int. | blob | commitdiff | raw | diff to current |
2007-10-26 | Michael Schroeder | - move dep2str buffer into pool so that the memory... | blob | commitdiff | raw | diff to current |
2007-10-05 | Michael Schroeder | - support for legacy rewriting | blob | commitdiff | raw | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | raw | diff to current |