2008-02-18 |
Michael Schroeder | - bring duchange code to life |
blob | commitdiff |
2008-02-18 |
Michael Schroeder | - allow complex deps in INSTALL/ERASE_NAME jobs |
blob | commitdiff | diff to current |
2008-02-15 |
Klaus Kaempf | remove 'kind' handling ( will re-appear in applayer... |
blob | commitdiff | diff to current |
2008-02-12 |
Michael Matz | Introduce pool->considered. A map to select a subset... |
blob | commitdiff | diff to current |
2008-02-11 |
Michael Matz | Always initialize outgoing vars (probable cause for... |
blob | commitdiff | diff to current |
2008-02-07 |
Klaus Kaempf | prepare limittokind |
blob | commitdiff | diff to current |
2008-02-06 |
Michael Matz | I understand the solver a bit now , enough to hack... |
blob | commitdiff | diff to current |
2008-02-05 |
Michael Matz | Iterating over the literals of a rule requires setting... |
blob | commitdiff | diff to current |
2008-01-30 |
Michael Schroeder | - use namespace instead of solvable for languages |
blob | commitdiff | diff to current |
2008-01-29 |
Michael Andres | remove superfluous Pool argument in policy_illegal_... |
blob | commitdiff | diff to current |
2008-01-29 |
Michael Schroeder | - add key filtering to repo_write |
blob | commitdiff | diff to current |
2008-01-28 |
Stefan Schubert | Added callbacks for policy handling. |
blob | commitdiff | diff to current |
2008-01-18 |
Klaus Kaempf | introduce 'Covenants' as a generic representation of... |
blob | commitdiff | diff to current |
2008-01-14 |
Stefan Schubert | reduced looging |
blob | commitdiff | diff to current |
2008-01-11 |
Michael Schroeder | - fix support for splitprovides |
blob | commitdiff | diff to current |
2008-01-09 |
Michael Schroeder | - clarify |
blob | commitdiff | diff to current |
2008-01-09 |
Stefan Schubert | docu added |
blob | commitdiff | diff to current |
2008-01-09 |
Michael Schroeder | - beautify a bit |
blob | commitdiff | diff to current |
2008-01-09 |
Michael Schroeder | - rename xmalloc/... functions to sat_malloc, as we... |
blob | commitdiff | diff to current |
2008-01-08 |
Michael Schroeder | - assertify |
blob | commitdiff | diff to current |
2008-01-08 |
Klaus Kaempf | fprintf line number immediately before calling abort() |
blob | commitdiff | diff to current |
2008-01-07 |
Michael Schroeder | - also push level 1 rules on leanrt stack |
blob | commitdiff | diff to current |
2008-01-03 |
Stefan Schubert | comment added |
blob | commitdiff | diff to current |
2008-01-03 |
Stefan Schubert | comments added |
blob | commitdiff | diff to current |
2008-01-03 |
Stefan Schubert | comments |
blob | commitdiff | diff to current |
2007-12-30 |
Klaus Kaempf | negate p before use as offset |
blob | commitdiff | diff to current |
2007-12-30 |
Klaus Kaempf | add Decision (solver result element) and testcase |
blob | commitdiff | diff to current |
2007-12-10 |
Michael Schroeder | - add evrcmp mode parameter |
blob | commitdiff | diff to current |
2007-12-07 |
Stefan Schubert | reverted concerning noupdateprovide |
blob | commitdiff | diff to current |
2007-12-07 |
Stefan Schubert | bugfix if whatprovides,... does not exist |
blob | commitdiff | diff to current |
2007-12-06 |
Stefan Schubert | added logging, description |
blob | commitdiff | diff to current |
2007-12-04 |
Michael Schroeder | - switch to new solv format using schemata |
blob | commitdiff | diff to current |
2007-11-29 |
Stefan Schubert | do not regard recommends of installed items |
blob | commitdiff | diff to current |
2007-11-29 |
Michael Schroeder | - prefer assertions to make coolo happy |
blob | commitdiff | diff to current |
2007-11-29 |
Michael Schroeder | - rename findproblemrule to solver_findproblemrule |
blob | commitdiff | diff to current |
2007-11-29 |
Michael Schroeder | - make schubi's job much easier by providing nice helpe... |
blob | commitdiff | diff to current |
2007-11-28 |
Michael Schroeder | - changed debug mechanism a bit, it is now part of... |
blob | commitdiff | diff to current |
2007-11-26 |
Stefan Schubert | replaced printf by a locking function |
blob | commitdiff | diff to current |
2007-11-22 |
Michael Schroeder | - add extra disableupdaterules call to fix core dump |
blob | commitdiff | diff to current |
2007-11-19 |
Michael Schroeder | - add solvable2str function to make things easier and... |
blob | commitdiff | diff to current |
2007-11-19 |
Michael Schroeder | - add FOR_REPO_SOLVABLES repo iterator macro |
blob | commitdiff | diff to current |
2007-11-17 |
Michael Schroeder | - some more cleanup |
blob | commitdiff | diff to current |
2007-11-17 |
Michael Schroeder | - add problem traversal abstraction functions for schubi |
blob | commitdiff | diff to current |
2007-11-17 |
Michael Schroeder | - move (disabled) into printrule |
blob | commitdiff | diff to current |
2007-11-16 |
Michael Schroeder | - log complete proof |
blob | commitdiff | diff to current |
2007-11-16 |
Michael Schroeder | - fix memory consumption issue |
blob | commitdiff | diff to current |
2007-11-16 |
Michael Schroeder | - begone rc_output. and there was much rejoicing. |
blob | commitdiff | diff to current |
2007-11-16 |
Michael Schroeder | - as we now always keep the learnt rules we can clean... |
blob | commitdiff | diff to current |
2007-11-16 |
Stefan Schubert | comments added |
blob | commitdiff | diff to current |
2007-11-16 |
Stefan Schubert | logging added; fixed output of printdecisions |
blob | commitdiff | diff to current |
2007-11-16 |
Stefan Schubert | logging |
blob | commitdiff | diff to current |
2007-11-15 |
Michael Schroeder | - speed solving up a bit by not removing learnt rules... |
blob | commitdiff | diff to current |
2007-11-15 |
Stefan Schubert | added more comments |
blob | commitdiff | diff to current |
2007-11-14 |
Michael Schroeder | - some small beautifications |
blob | commitdiff | diff to current |
2007-11-14 |
Michael Schroeder | - allow repositories that don't consist of a single... |
blob | commitdiff | diff to current |
2007-11-14 |
Stefan Schubert | added more logging |
blob | commitdiff | diff to current |
2007-11-14 |
Michael Schroeder | - delete superfluous debug statements |
blob | commitdiff | diff to current |
2007-11-14 |
Michael Schroeder | - fix schubi's indenting |
blob | commitdiff | diff to current |
2007-11-14 |
Klaus Kaempf | and the winner is ... |
blob | commitdiff | diff to current |
2007-11-14 |
Stefan Schubert | printf fixed |
blob | commitdiff | diff to current |
2007-11-13 |
Michael Andres | fix to compile |
blob | commitdiff | diff to current |
2007-11-13 |
Stefan Schubert | added more logging |
blob | commitdiff | diff to current |
2007-11-13 |
Stefan Schubert | added more logging |
blob | commitdiff | diff to current |
2007-11-12 |
Michael Schroeder | - make refine_suggestion static again |
blob | commitdiff | diff to current |
2007-11-12 |
Michael Schroeder | - always refine solutions, put result in problem queue |
blob | commitdiff | diff to current |
2007-11-10 |
Michael Schroeder | - fix stupid bug |
blob | commitdiff | diff to current |
2007-11-10 |
Michael Schroeder | - moved some policy functions to policy.h |
blob | commitdiff | diff to current |
2007-11-09 |
Stefan Schubert | doc added |
blob | commitdiff | diff to current |
2007-11-08 |
Stefan Schubert | refine_suggestion |
blob | commitdiff | diff to current |
2007-11-08 |
Michael Schroeder | - implement branching and solution callback |
blob | commitdiff | diff to current |
2007-11-08 |
Michael Schroeder | - add a license |
blob | commitdiff | diff to current |
2007-11-07 |
Michael Schroeder | - move policy-ruby.c into ruby dir |
blob | commitdiff | diff to current |
2007-11-01 |
Klaus Kaempf | First try on a (ruby based) policy engine |
blob | commitdiff | diff to current |
2007-10-31 |
Michael Schroeder | - do not be that verbose |
blob | commitdiff | diff to current |
2007-10-31 |
Michael Schroeder | - fix bug in last bugfix |
blob | commitdiff | diff to current |
2007-10-31 |
Michael Schroeder | - allow downgrade for INSTALL_SOLVABLE |
blob | commitdiff | diff to current |
2007-10-30 |
Michael Schroeder | - add vendor change policy (but fixes no test case... |
blob | commitdiff | diff to current |
2007-10-30 |
Michael Schroeder | - add vendor id to solvables |
blob | commitdiff | diff to current |
2007-10-29 |
Michael Schroeder | - fix last failing testcase classified as bug |
blob | commitdiff | diff to current |
2007-10-29 |
Michael Schroeder | - rename 'system' repo to 'installed' |
blob | commitdiff | diff to current |
2007-10-29 |
Michael Schroeder | - rename queue* to queue_*, inline a bit more |
blob | commitdiff | diff to current |
2007-10-26 |
Michael Schroeder | - move dep2str buffer into pool so that the memory... |
blob | commitdiff | diff to current |
2007-10-26 |
Duncan Mac-Vicar P | to follow SUSE tools conventions |
blob | commitdiff | diff to current |
2007-10-26 |
Stephan Kulow | fix memory leaks |
blob | commitdiff | diff to current |
2007-10-26 |
Michael Schroeder | treat 'nothing provides' jobrules in a sane way |
blob | commitdiff | diff to current |
2007-10-25 |
Michael Schroeder | - do not add rules that are always fulfilled |
blob | commitdiff | diff to current |
2007-10-25 |
Michael Schroeder | - add support for namespace callbacks |
blob | commitdiff | diff to current |
2007-10-25 |
Michael Schroeder | - make suggests/enhances first class, needs more rules... |
blob | commitdiff | diff to current |
2007-10-24 |
Michael Schroeder | - do a better job at presenting a solution |
blob | commitdiff | diff to current |
2007-10-23 |
Michael Schroeder | - switch dependencies from Id pointers to Offsets |
blob | commitdiff | diff to current |
2007-10-22 |
Michael Schroeder | - fix idarray overflow checking |
blob | commitdiff | diff to current |
2007-10-22 |
Michael Schroeder | - first step in getting rid of dependency pointers: |
blob | commitdiff | diff to current |
2007-10-22 |
Klaus Kaempf | make it compile on 64bit |
blob | commitdiff | diff to current |
2007-10-22 |
Michael Schroeder | - add experimental weak rules support, solver tries... |
blob | commitdiff | diff to current |
2007-10-22 |
Michael Schroeder | - beautify a bit |
blob | commitdiff | diff to current |
2007-10-21 |
Stephan Kulow | fixed mean bug in an optimization of addrule: |
blob | commitdiff | diff to current |
2007-10-19 |
Michael Schroeder | - clean up the code a bit |
blob | commitdiff | diff to current |
2007-10-19 |
Michael Schroeder | - do away with complex reenablerule, instead reset... |
blob | commitdiff | diff to current |
2007-10-19 |
Michael Schroeder | - fix some bugs in refine_suggestion() |
blob | commitdiff | diff to current |
2007-10-17 |
Michael Schroeder | move solver reset to top of refine_suggestion |
blob | commitdiff | diff to current |
next |