- do not add rules that are always fulfilled
[platform/upstream/libsolv.git] / src /
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-24 Michael Schroeder- zero first element in idarray just in case
2007-10-23 Michael Schroeder- switch dependencies from Id pointers to Offsets
2007-10-23 Michael Schroeder- map locale(xx) to language:xx to be compatible to...
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-20 Michael MatzI need C++ here too.
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-15 Michael MatzI have use for a tool to merge .solv files.
2007-10-12 Michael MatzMake the satsolver header usable with C++ (only pool...
2007-10-12 Stephan Kulow- fixing obsoletes not checked in every case (fixing...
2007-10-12 Michael MatzFor now only build a static (but PIC) libsatsolver...
2007-10-12 Michael Schroederfix typo
2007-10-12 Michael Schroederfix makefiles a bit
2007-10-12 Michael Schroederdelete some spaces
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-08 Michael Schroederfix segfault
2007-10-05 Michael Schroeder- don't pass name spaces for now
2007-10-05 Michael Schroeder- support for legacy rewriting
2007-10-05 Michael Schroederfix typo, add some more architectures
2007-10-02 Klaus Kaempfprep for package
2007-10-02 Klaus Kaempfcurrent state of 'sat-solver'