- cleanup
[platform/upstream/libsolv.git] / src / solver.c
2008-04-11 Michael Schroeder- cleanup
2008-04-11 Michael Schroeder- change schubi debugging
2008-04-11 Michael Schroeder- add support for SOLVER_WEAKEN_SOLVABLE_DEPS, weakens...
2008-04-11 Michael Schroeder- clean up code a bit
2008-04-11 Michael Schroeder- beautfy, rename & document
2008-04-11 Michael Schroeder- change DU interface to use installedmap, like the...
2008-04-04 Michael Schroeder- do unconflicting in a more elegant and not so damagin...
2008-04-04 Michael Schroeder- fix core dump, sorry
2008-04-03 Michael Schroeder- fix memory leak
2008-03-27 Michael Schroeder- truly restart when analyze_unsolvable is hit (fixes...
2008-03-20 Michael Schroeder- clean up a bit
2008-03-19 Michael Schroeder- write info block containing addedprovides
2008-03-14 Michael Schroeder- move change calculation into pool
2008-03-11 Michael Schroeder- delete wrong comment. the learnt rule cannot be added...
2008-03-10 Michael Schroeder- fix learnt rule assertion in a different way
2008-03-07 Michael Schroeder- add recommendations queue so that it can be displayed...
2008-03-06 Stefan Schubertlayout
2008-03-06 Michael Schroeder- use dep2str for erase name to make debugging easier
2008-02-29 Michael Schroeder- change solv format in an incompatible way, breaking...
2008-02-18 Michael Schroeder- bring duchange code to life
2008-02-18 Michael Schroeder- allow complex deps in INSTALL/ERASE_NAME jobs
2008-02-15 Klaus Kaempfremove 'kind' handling ( will re-appear in applayer...
2008-02-12 Michael MatzIntroduce pool->considered. A map to select a subset...
2008-02-11 Michael MatzAlways initialize outgoing vars (probable cause for...
2008-02-07 Klaus Kaempfprepare limittokind
2008-02-06 Michael MatzI understand the solver a bit now , enough to hack...
2008-02-05 Michael MatzIterating over the literals of a rule requires setting...
2008-01-30 Michael Schroeder- use namespace instead of solvable for languages
2008-01-29 Michael Andresremove superfluous Pool argument in policy_illegal_...
2008-01-29 Michael Schroeder- add key filtering to repo_write
2008-01-28 Stefan SchubertAdded callbacks for policy handling.
2008-01-18 Klaus Kaempfintroduce 'Covenants' as a generic representation of...
2008-01-14 Stefan Schubertreduced looging
2008-01-11 Michael Schroeder- fix support for splitprovides
2008-01-09 Michael Schroeder- clarify
2008-01-09 Stefan Schubertdocu added
2008-01-09 Michael Schroeder- beautify a bit
2008-01-09 Michael Schroeder- rename xmalloc/... functions to sat_malloc, as we...
2008-01-08 Michael Schroeder- assertify
2008-01-08 Klaus Kaempffprintf line number immediately before calling abort()
2008-01-07 Michael Schroeder- also push level 1 rules on leanrt stack
2008-01-03 Stefan Schubertcomment added
2008-01-03 Stefan Schubertcomments added
2008-01-03 Stefan Schubertcomments
2007-12-30 Klaus Kaempfnegate p before use as offset
2007-12-30 Klaus Kaempfadd Decision (solver result element) and testcase
2007-12-10 Michael Schroeder- add evrcmp mode parameter
2007-12-07 Stefan Schubertreverted concerning noupdateprovide
2007-12-07 Stefan Schubertbugfix if whatprovides,... does not exist
2007-12-06 Stefan Schubertadded logging, description
2007-12-04 Michael Schroeder- switch to new solv format using schemata
2007-11-29 Stefan Schubertdo not regard recommends of installed items
2007-11-29 Michael Schroeder- prefer assertions to make coolo happy
2007-11-29 Michael Schroeder- rename findproblemrule to solver_findproblemrule
2007-11-29 Michael Schroeder- make schubi's job much easier by providing nice helpe...
2007-11-28 Michael Schroeder- changed debug mechanism a bit, it is now part of...
2007-11-26 Stefan Schubertreplaced printf by a locking function
2007-11-22 Michael Schroeder- add extra disableupdaterules call to fix core dump
2007-11-19 Michael Schroeder- add solvable2str function to make things easier and...
2007-11-19 Michael Schroeder- add FOR_REPO_SOLVABLES repo iterator macro
2007-11-17 Michael Schroeder- some more cleanup
2007-11-17 Michael Schroeder- add problem traversal abstraction functions for schubi
2007-11-17 Michael Schroeder- move (disabled) into printrule
2007-11-16 Michael Schroeder- log complete proof
2007-11-16 Michael Schroeder- fix memory consumption issue
2007-11-16 Michael Schroeder- begone rc_output. and there was much rejoicing.
2007-11-16 Michael Schroeder- as we now always keep the learnt rules we can clean...
2007-11-16 Stefan Schubertcomments added
2007-11-16 Stefan Schubertlogging added; fixed output of printdecisions
2007-11-16 Stefan Schubertlogging
2007-11-15 Michael Schroeder- speed solving up a bit by not removing learnt rules...
2007-11-15 Stefan Schubertadded more comments
2007-11-14 Michael Schroeder- some small beautifications
2007-11-14 Michael Schroeder- allow repositories that don't consist of a single...
2007-11-14 Stefan Schubertadded more logging
2007-11-14 Michael Schroeder- delete superfluous debug statements
2007-11-14 Michael Schroeder- fix schubi's indenting
2007-11-14 Klaus Kaempfand the winner is ...
2007-11-14 Stefan Schubertprintf fixed
2007-11-13 Michael Andresfix to compile
2007-11-13 Stefan Schubertadded more logging
2007-11-13 Stefan Schubertadded more logging
2007-11-12 Michael Schroeder- make refine_suggestion static again
2007-11-12 Michael Schroeder- always refine solutions, put result in problem queue
2007-11-10 Michael Schroeder- fix stupid bug
2007-11-10 Michael Schroeder- moved some policy functions to policy.h
2007-11-09 Stefan Schubertdoc added
2007-11-08 Stefan Schubertrefine_suggestion
2007-11-08 Michael Schroeder- implement branching and solution callback
2007-11-08 Michael Schroeder- add a license
2007-11-07 Michael Schroeder- move policy-ruby.c into ruby dir
2007-11-01 Klaus KaempfFirst try on a (ruby based) policy engine
2007-10-31 Michael Schroeder- do not be that verbose
2007-10-31 Michael Schroeder- fix bug in last bugfix
2007-10-31 Michael Schroeder- allow downgrade for INSTALL_SOLVABLE
2007-10-30 Michael Schroeder- add vendor change policy (but fixes no test case...
2007-10-30 Michael Schroeder- add vendor id to solvables
2007-10-29 Michael Schroeder- fix last failing testcase classified as bug
2007-10-29 Michael Schroeder- rename 'system' repo to 'installed'
2007-10-29 Michael Schroeder- rename queue* to queue_*, inline a bit more
next