2008-04-30 |
Michael Schroeder | - add obsoleteusesprovides and implicitobsoleteusesprov... |
blob | commitdiff | diff to current |
2008-04-25 |
Michael Schroeder | - add bugzilla reference |
blob | commitdiff | diff to current |
2008-04-23 |
Michael Schroeder | - schubi convinced me to invert the flag, so that installed |
blob | commitdiff | diff to current |
2008-04-23 |
Michael Schroeder | - add "showinstalledrecommended" option to make the... |
blob | commitdiff | diff to current |
2008-04-22 |
Michael Matz | Fix compile. |
blob | commitdiff | diff to current |
2008-04-18 |
Michael Schroeder | - add support for feature rules |
blob | commitdiff | diff to current |
2008-04-18 |
Michael Matz | C++-guard also solver.h |
blob | commitdiff | diff to current |
2008-04-15 |
Michael Schroeder | - catch self conflicts (configurable) |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - add support for SOLVER_WEAKEN_SOLVABLE_DEPS, weakens... |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - clean up code a bit |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - beautfy, rename & document |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - change DU interface to use installedmap, like the... |
blob | commitdiff | diff to current |
2008-04-03 |
Michael Schroeder | - fix memory leak |
blob | commitdiff | diff to current |
2008-03-14 |
Michael Schroeder | - move change calculation into pool |
blob | commitdiff | diff to current |
2008-03-07 |
Michael Schroeder | - add recommendations queue so that it can be displayed... |
blob | commitdiff | diff to current |
2008-02-29 |
Michael Schroeder | - change solv format in an incompatible way, breaking... |
blob | commitdiff | diff to current |
2008-02-18 |
Michael Schroeder | - bring duchange code to life |
blob | commitdiff | diff to current |
2008-02-15 |
Klaus Kaempf | remove 'kind' handling ( will re-appear in applayer... |
blob | commitdiff | diff to current |
2008-02-12 |
Klaus Kaempf | adapt to reality |
blob | commitdiff | diff to current |
2008-02-07 |
Klaus Kaempf | prepare limittokind |
blob | commitdiff | diff to current |
2008-02-04 |
Stefan Schubert | added pool to arguments |
blob | commitdiff | diff to current |
2008-01-28 |
Stefan Schubert | Added callbacks for policy handling. |
blob | commitdiff | diff to current |
2008-01-18 |
Klaus Kaempf | introduce 'Covenants' as a generic representation of... |
blob | commitdiff | diff to current |
2008-01-11 |
Michael Schroeder | - fix support for splitprovides |
blob | commitdiff | diff to current |
2008-01-08 |
Michael Schroeder | - assertify |
blob | commitdiff | diff to current |
2008-01-03 |
Stefan Schubert | comments added |
blob | commitdiff | diff to current |
2007-12-30 |
Klaus Kaempf | add Decision (solver result element) and testcase |
blob | commitdiff | diff to current |
2007-11-29 |
Michael Schroeder | - rename findproblemrule to solver_findproblemrule |
blob | commitdiff | diff to current |
2007-11-29 |
Michael Schroeder | - make schubi's job much easier by providing nice helpe... |
blob | commitdiff | diff to current |
2007-11-28 |
Michael Schroeder | - fix false friend |
blob | commitdiff | diff to current |
2007-11-21 |
Michael Andres | use SATSOLVER_ prefix in include guards |
blob | commitdiff | diff to current |
2007-11-19 |
Michael Schroeder | - add solvable2str function to make things easier and... |
blob | commitdiff | diff to current |
2007-11-17 |
Michael Schroeder | - add problem traversal abstraction functions for schubi |
blob | commitdiff | diff to current |
2007-11-16 |
Michael Schroeder | - begone rc_output. and there was much rejoicing. |
blob | commitdiff | diff to current |
2007-11-12 |
Michael Schroeder | - make refine_suggestion static again |
blob | commitdiff | diff to current |
2007-11-12 |
Michael Schroeder | - always refine solutions, put result in problem queue |
blob | commitdiff | diff to current |
2007-11-10 |
Michael Schroeder | - moved some policy functions to policy.h |
blob | commitdiff | diff to current |
2007-11-08 |
Stefan Schubert | refine_suggestion |
blob | commitdiff | diff to current |
2007-11-08 |
Michael Schroeder | - implement branching and solution callback |
blob | commitdiff | diff to current |
2007-11-08 |
Michael Schroeder | - add a license |
blob | commitdiff | diff to current |
2007-11-07 |
Michael Schroeder | - move policy-ruby.c into ruby dir |
blob | commitdiff | diff to current |
2007-10-30 |
Michael Schroeder | - add vendor change policy (but fixes no test case... |
blob | commitdiff | diff to current |
2007-10-29 |
Michael Schroeder | - rename 'system' repo to 'installed' |
blob | commitdiff | diff to current |
2007-10-26 |
Duncan Mac-Vicar P | to follow SUSE tools conventions |
blob | commitdiff | diff to current |
2007-10-26 |
Duncan Mac-Vicar P | name the enum so I can use it in a typemap |
blob | commitdiff | diff to current |
2007-10-24 |
Michael Schroeder | - do a better job at presenting a solution |
blob | commitdiff | diff to current |
2007-10-22 |
Michael Schroeder | - add experimental weak rules support, solver tries... |
blob | commitdiff | diff to current |
2007-10-15 |
Michael Schroeder | find suggested packages |
blob | commitdiff | diff to current |
2007-10-15 |
Michael Schroeder | implemented GNADENLOS in a better way, now option ... |
blob | commitdiff | diff to current |
2007-10-15 |
Michael Schroeder | also prune to suggests/enhances, fixes tpctl testcases |
blob | commitdiff | diff to current |
2007-10-15 |
Michael Schroeder | make prune_to_recommended look at recommends, too. |
blob | commitdiff | diff to current |
2007-10-02 |
Klaus Kaempf | current state of 'sat-solver' |
blob | commitdiff | diff to current |
|