- changed debug mechanism a bit, it is now part of the pool
[platform/upstream/libsolv.git] / src / solver.c
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
2007-10-26 Michael Schroeder- move dep2str buffer into pool so that the memory...
2007-10-26 Duncan Mac-Vicar Pto follow SUSE tools conventions
2007-10-26 Stephan Kulowfix memory leaks
2007-10-26 Michael Schroedertreat 'nothing provides' jobrules in a sane way
2007-10-25 Michael Schroeder- do not add rules that are always fulfilled
2007-10-25 Michael Schroeder- add support for namespace callbacks
2007-10-25 Michael Schroeder- make suggests/enhances first class, needs more rules...
2007-10-24 Michael Schroeder- do a better job at presenting a solution
2007-10-23 Michael Schroeder- switch dependencies from Id pointers to Offsets
2007-10-22 Michael Schroeder- fix idarray overflow checking
2007-10-22 Michael Schroeder- first step in getting rid of dependency pointers:
2007-10-22 Klaus Kaempfmake it compile on 64bit
2007-10-22 Michael Schroeder- add experimental weak rules support, solver tries...
2007-10-22 Michael Schroeder- beautify a bit
2007-10-21 Stephan Kulowfixed mean bug in an optimization of addrule:
2007-10-19 Michael Schroeder- clean up the code a bit
2007-10-19 Michael Schroeder- do away with complex reenablerule, instead reset...
2007-10-19 Michael Schroeder- fix some bugs in refine_suggestion()
2007-10-17 Michael Schroedermove solver reset to top of refine_suggestion
2007-10-17 Michael Schroeder- added pool_installable() inline function
2007-10-17 Michael Schroeder- inline source_name function
2007-10-17 Michael Schroederunify whatprovides data to save memory.
2007-10-15 Michael Schroederfind suggested packages
2007-10-15 Michael Schroederadd arch filtering for obsoletes data
2007-10-15 Michael Schroederimplemented GNADENLOS in a better way, now option ...
2007-10-15 Michael Schroederalso prune to suggests/enhances, fixes tpctl testcases
2007-10-15 Michael Schroedermake prune_to_recommended look at recommends, too.
2007-10-12 Stephan Kulow- fixing obsoletes not checked in every case (fixing...
2007-10-12 Stephan Kulowfixing some bugs:
2007-10-09 Michael Schroeder- do not select src packages in yps
2007-10-09 Michael Schroeder- show better problem reports
2007-10-09 Michael Schroeder- fix arch handling
2007-10-05 Michael Schroeder- don't pass name spaces for now
2007-10-05 Michael Schroeder- support for legacy rewriting
2007-10-02 Klaus Kaempfcurrent state of 'sat-solver'