summaryrefslogtreecommitdiff
path: root/src/solver.c
AgeCommit message (Expand)AuthorFilesLines
2012-02-24test: improve pinning testsTimo Teräs1-1/+4
2012-02-23solver: fix output of broken dependenciesTimo Teräs1-1/+1
2012-02-23solver: report size difference in kibi- or mebibytesTimo Teräs1-5/+11
2012-02-22solver: lock early names that have only single option leftTimo Teräs1-3/+13
2012-02-22solver: lazily update name state in main loopTimo Teräs1-171/+125
2012-02-22solver: handle fix/reinstall betterTimo Teräs1-30/+36
2012-02-22solver: transitive dependency requiringTimo Teräs1-12/+41
2012-02-22solver: remove dependency merging; it's not worth itTimo Teräs1-77/+4
2012-02-22db, solver, io: scan cache items at startupTimo Teräs1-42/+36
2012-02-21solver: make apk_score a 64-bit int for speedTimo Teräs1-9/+49
2012-02-21solver: remove unneeded flagTimo Teräs1-4/+1
2012-02-21solver: implement backwards jumping and various other optimizationsTimo Teräs1-149/+215
2012-02-20solver: rewrite backtracking and scoring systemTimo Teräs1-406/+690
2012-02-17apk: fix some unharmful leaks reported by valgrindTimo Teräs1-0/+1
2012-02-17solver: get rid of saved score in backtrackingTimo Teräs1-41/+57
2012-02-16solver: convert some package state flags to bitfieldsTimo Teräs1-11/+13
2012-02-16solver: name's unlocked chosen is always next package getting lockedTimo Teräs1-35/+28
2012-02-16solver: rework internals a bitTimo Teräs1-138/+190
2012-02-16solver: fix allowed pinning calculationTimo Teräs1-2/+2
2012-02-16solver: record repository tag, and flags in solutionTimo Teräs1-55/+92
2012-02-16solver: remove an unneeded name state variableTimo Teräs1-5/+0
2012-02-15solver, db: repository pinning improvementsTimo Teräs1-48/+73
2012-01-20solver: fix regression from "calculate branch minimum penalty early"Timo Teräs1-7/+21
2012-01-17solver, upgrade: properly detect missing repository tagsTimo Teräs1-2/+2
2012-01-17solver: fix change ordering of removed pages in relation to installedTimo Teräs1-5/+6
2012-01-17solver: calculate branch minimum penalty earlyTimo Teräs1-55/+97
2012-01-13add: make repository tag pinning strongerTimo Teräs1-8/+19
2012-01-12solver: print repository tag when committing package changesTimo Teräs1-9/+22
2012-01-12db, solver: refuse committing changes if there is missing tagsTimo Teräs1-0/+10
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