summaryrefslogtreecommitdiff
path: root/src/solver.c
AgeCommit message (Expand)AuthorFilesLines
2011-12-27solver: report number of (mega)bytes usedTimo Teräs1-4/+11
2011-11-23solver: fix error detection for certain unsatisfiability casesTimo Teräs1-2/+46
2011-11-01solver: fix zero score comparisonTimo Teräs1-1/+1
2011-11-01solver: return changeset even for partial solutionsTimo Teräs1-12/+8
2011-11-01solver: consider world dependencies to determining exit scoreTimo Teräs1-2/+4
2011-10-31solver: misc fixesTimo Teräs1-9/+22
2011-10-29solver: fix indentation of package lists (in interactive mode)Timo Teräs1-1/+1
2011-10-29solver, db: implement repository pinningTimo Teräs1-5/+34
2011-10-24solver, pkg: implement versioned conflictsTimo Teräs1-6/+4
2011-10-14solver: preference scoringTimo Teräs1-75/+112
2011-09-28solver: return error code if things fail during package installTimo Teräs1-2/+1
2011-09-28solver: evaluate penalty of unsatisfiable name earlyTimo Teräs1-4/+16
2011-09-22solver: fix backtrackingTimo Teräs1-32/+33
2011-09-16solver: inheritable solver flagsTimo Teräs1-26/+108
2011-09-15solver: fix sorting when solver is used multiple times within runTimo Teräs1-1/+2
2011-09-14solver: make state pointers completely internalTimo Teräs1-32/+29
2011-09-14solver, db: run triggers in dependency orderTimo Teräs1-4/+45
2011-09-14upgrade: reimplement self-upgrade (after solver merge)Timo Teräs1-1/+13
2011-09-13all: update copyright year statementTimo Teräs1-1/+1
2011-09-13solver: add per-name specific flags, and fix the fix appletTimo Teräs1-14/+29
2011-09-09print: minor cleanup to indented writerTimo Teräs1-1/+1
2011-09-09del: fix recursive deletion and messages (after solver merge)Timo Teräs1-12/+13
2011-09-09applets: start using solver codeTimo Teräs1-83/+447
2011-09-05solver: report 'complete' solutions with errorsTimo Teräs1-28/+27
2011-08-18solver: reintroduce install_if supportTimo Teräs1-46/+185
2011-08-05solver: move topology sorting to solver codeTimo Teräs1-38/+92
2011-08-01solver: generate proper error messagesTimo Teräs1-185/+181
2011-07-27solver: don't consider package that we can't haveTimo Teräs1-2/+26
2011-07-27solver: permutate each preferred solution firstTimo Teräs1-57/+55
2011-07-26solver: new package selection logic (which is not yet used)Timo Teräs1-0/+563