2008-10-29 | Michael Andres | - Add "sh4" architectures. | blob | commitdiff |
2008-10-28 | Michael Andres | - Add "arm" architectures. | blob | commitdiff | diff to current |
2008-01-09 | Michael Schroeder | - rename xmalloc/... functions to sat_malloc, as we... | blob | commitdiff | diff to current |
2007-11-08 | Michael Schroeder | - add a license | blob | commitdiff | diff to current |
2007-10-05 | Michael Schroeder | fix typo, add some more architectures | blob | commitdiff | diff to current |
2007-10-02 | Klaus Kaempf | current state of 'sat-solver' | blob | commitdiff | diff to current |