summaryrefslogtreecommitdiff
path: root/src/solver.c
AgeCommit message (Expand)AuthorFilesLines
2012-11-04solver: fix package prefence calculation a bitTimo Teräs1-1/+3
2012-10-08solver: additional backjumping schemeTimo Teräs1-11/+48
2012-10-08solver: optimize backjumpingTimo Teräs1-7/+7
2012-10-08solver: properly calculate decision "strength" with providesTimo Teräs1-17/+13
2012-10-05solver: fix back jumping once moreTimo Teräs1-17/+33
2012-10-05solver: record dependency apk_name in apk_decisionTimo Teräs1-51/+19
2012-10-03solver: various fixesTimo Teräs1-14/+58
2012-10-03solver: improve assert error messagesNatanael Copa1-2/+3
2012-10-03solver: fix compile with -Werror on 64bitNatanael Copa1-1/+1
2012-09-20apk: implement --progress-fd to write progress to a specified fdTimo Teräs1-17/+27
2012-04-27solver: fix install_if triggers on cyclic and early depsTimo Teräs1-11/+15
2012-04-27solver: fix backtracking with install_if dependenciesTimo Teräs1-17/+20
2012-03-31solver: fix a type from previous commitTimo Teräs1-1/+1
2012-03-31solver: fix installation of non-repository packagesTimo Teräs1-1/+2
2012-03-01solver: properly set allowed flag for installed packagesTimo Teräs1-3/+6
2012-02-29solver: rename some fieldsTimo Teräs1-24/+25
2012-02-29solver: merge apk_name_state to apk_nameTimo Teräs1-223/+136
2012-02-29solver, test: make conflicts unconditionalTimo Teräs1-13/+36
2012-02-28solver: ask confirmation in interactive mode only if there's changesTimo Teräs1-1/+2
2012-02-28solver: do not consider non-allowed packages in main loopTimo Teräs1-43/+32
2012-02-28solver: consider provided names also for preferenceTimo Teräs1-2/+13
2012-02-28solver: fix conflicting provides detectionTimo Teräs1-2/+15
2012-02-28solver: allow multiple packages with same virtual providesTimo Teräs1-8/+14
2012-02-27solver, test: implements more provides things, add testsTimo Teräs1-30/+92
2012-02-27solver: have most inherited things per-package and clean upsTimo Teräs1-156/+168
2012-02-27solver: remove minimum penalty logicTimo Teräs1-49/+7
2012-02-24solver, dot: elementary provides fixesTimo Teräs1-21/+57
2012-02-24all: introduce apk_provides and use it in apk_nameTimo Teräs1-73/+79
2012-02-24solver: unallowed pinning is worse than changing installed packageTimo Teräs1-10/+7
2012-02-24solver: non preferred actions are worse then non preferred pinningTimo Teräs1-6/+16
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