backup
[platform/upstream/libzypp.git] / zypp / sat /
2007-12-07 Michael Andresbackup
2007-12-07 Michael Andreslibsatsolver now invalidates and rebuilds whatprovides...
2007-12-04 Stefan Schuberttext fixed
2007-12-04 Stefan Schubertlogging with YaST enabled
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 Michael Andresadd @system repo
2007-11-29 Michael Andresset default pool architecture to ZConfig value
2007-11-29 Stefan Schubertbugfix
2007-11-29 Stefan Schubertusing defines; nice debug status :-)
2007-11-29 Stefan Schubertaddapted to new sat debug
2007-11-29 Stefan Schubertremoved verbose flag
2007-11-28 Michael Andresupdate satpool housekeeping data after sync.
2007-11-28 Stefan Schubertsome bugfixes, loggings
2007-11-28 Stefan SchubertAPI for SAT solver added
2007-11-28 Michael Andresbackup
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-27 Michael Andresbackup
2007-11-23 Michael Andresbackup
2007-11-23 Stefan Schuberttaking new API for resolver-problems-solutions
2007-11-18 Stephan Kulowfix compile
2007-11-15 Michael Andresbackup
2007-11-14 Michael Andresadapt to changed satsolver api
2007-11-13 Michael Andresbackup
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