logging solver settings before solving
[platform/upstream/libzypp.git] / zypp / sat / SATResolver.cc
2008-04-03 Stefan Schubertlogging solver settings before solving
2008-04-02 Stefan Schubert- Moved poolItem.status().isSatisfied(),.... to poolIte...
2008-03-31 Stefan Schubertadded doUpdate( ) which Update to newest packages
2008-03-28 Stefan Schubertflag if the solver regards required packages only
2008-03-27 Stefan Schubertregarding recommend/suggest settings from the SAT-solver
2008-03-17 Michael Andresremove obsolete capability handling stuff
2008-03-06 Stefan Schubertdo NOT ignore sat solver settings
2008-03-04 Stefan Schubertimprove problem solution if a requirement cannot be...
2008-03-04 Stefan Schubertimproved output of vendor change solution #362985
2008-02-29 Stefan Schubertlibzypp Repository class has been exchanged by the...
2008-02-27 Stefan SchubertMoving sat-repo to official libzypp-repo; PART 1
2008-02-26 Stefan Schubertreduced logging
2008-02-20 Stefan Schubert- regarding language dependencies while update correctly
2008-02-18 Stefan Schubertgenerating testcase only if ZYPP_FULLLOG is set
2008-02-15 Stefan Schubertmove check of installed items to distupgrade
2008-02-15 Stefan Schubertdo not file a delete request for an updated item
2008-02-15 Stephan Kulowmove into trunk
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-05 Stefan SchubertDo not remove a package explicit if this will be update...
2008-02-04 Michael Andresremove Language and Selection
2008-02-04 Stefan Schubertadded vendorcallback for SAT solver
2008-01-30 Stefan Schubertfixed wrong parameters
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 Schubertregarding SAT settings
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.
2008-01-21 Stefan Schubertgenerating testcase while every run (only the task)
2008-01-17 Stefan Schubertenabled locking in SAT solver
2008-01-15 Stefan Schubertenable require,conflicts jobs in the SAT-solver
2008-01-14 Stefan Schubertchanged problem text
2008-01-14 Stefan Schubertordering combiSolutions
2008-01-12 Stephan Kulowavoid double negation, I hope that's fine
2008-01-10 Stefan SchubertChecking delete request if the reason for is an update...
2008-01-09 Stefan Schubertwrong solution action for -do not install solvable-
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