Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2013-10-16 | remove trailing whitespace | Michael Schroeder | 1 | -1/+1 |
2013-04-02 | Make all public libsolv headers C++ safe | Ingo Weinhold | 1 | -0/+8 |
2012-01-11 | - set pool_id2color, fix comments | Michael Schroeder | 1 | -3/+3 |
2011-06-03 | - remove obsolete interface, add decisioncnt_{weak,orphan} | Michael Schroeder | 1 | -33/+0 |
2011-05-24 | - do not use obsolete interface in libsolv library itself | Michael Schroeder | 1 | -0/+2 |
2011-05-24 | rename satsolver -> libsolv | Michael Schroeder | 1 | -3/+3 |
2011-05-02 | - clean up function names for shared library | Michael Schroeder | 1 | -9/+41 |
2009-06-22 | Make Pool* const where appropriate | Klaus Kämpf | 1 | -4/+4 |
2008-08-01 | fix comment | Klaus Kaempf | 1 | -1/+1 |
2008-01-29 | - add key filtering to repo_write | Michael Schroeder | 1 | -0/+1 |
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-05 | - support for legacy rewriting | Michael Schroeder | 1 | -0/+1 |
2007-10-02 | current state of 'sat-solver' | Klaus Kaempf | 1 | -0/+31 |