rename packages works for update now
[platform/upstream/libzypp.git] / zypp / sat / SATResolver.cc
2008-02-14 Stefan Schubertrename packages works for update now
2008-02-12 Michael Andrespool iterator fixes
2008-02-11 Stefan Schubertcleanup; generate control file
2008-02-08 Stefan Schubertgenerating testcase BEFORE staring the solver
2008-02-04 Michael Andresremove Language and Selection
2008-02-04 Stefan Schubertadded vendorcallback for SAT solver
2008-01-30 Stefan Schubertremoved setdirty
2008-01-29 Michael Andresadapt to new libsatsolver api
2008-01-29 Michael Andres- Prepare ResPool being a singleton ontop of sat::Pool.
2008-01-25 Stefan Schubertfixed error message
2008-01-24 Stefan Schubertsetting SAT-solver flags for update and verify
2008-01-24 Stefan Schubert-cleanup
2008-01-24 Michael AndresRemoved dummy satSolvable id in PoolItem as ResObject...
2008-01-24 Stefan Schubertgenerating a testcase BEFORE updating the system; compr...
2008-01-24 Stefan Schubert- improved error messages
2008-01-21 Michael AndresRemoved obsolete files and classes.
2007-12-10 Michael Andresadapt to libsatsolver changes
2007-12-04 Stefan Schuberttext fixed
2007-12-03 Stefan Schubertbugfix while deleting patterns, improved errormessages
2007-12-03 Stefan Schubertwhatprovides will be reset; do not know why
2007-12-03 Stefan Schubertfurther error handling
2007-11-30 Stefan Schubertbugfix in a delete request
2007-11-30 Stefan Schubertbugfix for taking solutions
2007-11-30 Stefan Schubertimproved output of the SAT solver
2007-11-30 Stefan Schubertadded new interface for solution
2007-11-29 Stefan Schuberterrormessage enabled for SAT solver
2007-11-29 Stefan Schubertbugfixes
2007-11-29 Stefan Schubertremoved verbose flag
2007-11-28 Stefan Schubertsome bugfixes, loggings
2007-11-28 Stefan SchubertAPI for SAT solver added
2007-11-27 Stefan Schubertget_poolItem replaced by pool.find (sat::Solvable)
2007-11-27 Stefan Schubertusing satSolvable().id() for getting SAT IDs
2007-11-27 Michael Andresmove libsatsolvber debug output handling to sat::detail...
2007-11-27 Stefan Schubertsat_logging added
2007-11-23 Stefan Schuberttaking new API for resolver-problems-solutions
2007-11-13 Stefan Schubertdoes not fit to current SAT solver
2007-11-08 Stefan SchubertError handling added.
2007-11-05 Michael Andresadapt to changed libsatsolver API
2007-10-29 Michael Andresadapt to satsolver API changes
2007-10-25 Stefan Schubertremove pool_source
2007-10-25 Stefan Schubertcopying result back to zypp pool
2007-10-25 Stefan Schubertgenerate queue
2007-10-23 Stefan Schubertadded parameter SATpool
2007-10-23 Stefan Schubertmainframe for SAT-sovler