Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2008-08-22 | - comment function | Duncan Mac-Vicar P | 1 | -0/+12 |
2008-03-20 | - clean up a bit | Michael Schroeder | 1 | -0/+1 |
2008-03-19 | - shut up g++ | Michael Schroeder | 1 | -1/+1 |
2008-03-19 | - write info block containing addedprovides | Michael Schroeder | 1 | -0/+7 |
2008-03-17 | Initialize all allocated array members for blocky arrays (when it | Michael Matz | 1 | -0/+10 |
2008-03-05 | - add HEADEREND | Michael Schroeder | 1 | -7/+0 |
2008-01-29 | compile | Duncan Mac-Vicar P | 1 | -1/+1 |
2008-01-29 | remove superfluous Pool argument in policy_illegal_ functions | Michael Andres | 1 | -1/+3 |
2008-01-29 | - add key filtering to repo_write | Michael Schroeder | 1 | -0/+29 |
2008-01-09 | - rename xmalloc/... functions to sat_malloc, as we're a | Michael Schroeder | 1 | -6/+6 |
2007-11-21 | use SATSOLVER_ prefix in include guards | Michael Andres | 1 | -3/+3 |
2007-11-08 | - add a license | Michael Schroeder | 1 | -0/+7 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+16 |