2008-04-11 |
Michael Schroeder | - cleanup |
blob | commitdiff |
2008-04-11 |
Michael Schroeder | - change schubi debugging |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - add support for SOLVER_WEAKEN_SOLVABLE_DEPS, weakens... |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - clean up code a bit |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - beautfy, rename & document |
blob | commitdiff | diff to current |
2008-04-11 |
Michael Schroeder | - change DU interface to use installedmap, like the... |
blob | commitdiff | diff to current |
2008-04-04 |
Michael Schroeder | - do unconflicting in a more elegant and not so damagin... |
blob | commitdiff | diff to current |
2008-04-04 |
Michael Schroeder | - fix core dump, sorry |
blob | commitdiff | diff to current |
2008-04-03 |
Michael Schroeder | - fix memory leak |
blob | commitdiff | diff to current |
2008-03-27 |
Michael Schroeder | - truly restart when analyze_unsolvable is hit (fixes... |
blob | commitdiff | diff to current |
2008-03-20 |
Michael Schroeder | - clean up a bit |
blob | commitdiff | diff to current |
2008-03-19 |
Michael Schroeder | - write info block containing addedprovides |
blob | commitdiff | diff to current |
2008-03-14 |
Michael Schroeder | - move change calculation into pool |
blob | commitdiff | diff to current |
2008-03-11 |
Michael Schroeder | - delete wrong comment. the learnt rule cannot be added... |
blob | commitdiff | diff to current |
2008-03-10 |
Michael Schroeder | - fix learnt rule assertion in a different way |
blob | commitdiff | diff to current |
2008-03-07 |
Michael Schroeder | - add recommendations queue so that it can be displayed... |
blob | commitdiff | diff to current |
2008-03-06 |
Stefan Schubert | layout |
blob | commitdiff | diff to current |
2008-03-06 |
Michael Schroeder | - use dep2str for erase name to make debugging easier |
blob | commitdiff | diff to current |
2008-02-29 |
Michael Schroeder | - change solv format in an incompatible way, breaking... |
blob | commitdiff | diff to current |
2008-02-18 |
Michael Schroeder | - bring duchange code to life |
blob | commitdiff | diff to current |
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 |
next |