aboutsummaryrefslogtreecommitdiffstats
path: root/src/solver.c
Commit message (Expand)AuthorAgeFilesLines
...
* solver: fix name assignment logic to not mess up internal stateTimo Teräs2013-01-181-11/+10
* solver: fix package prefence calculation a bitTimo Teräs2012-11-041-1/+3
* solver: additional backjumping schemeTimo Teräs2012-10-081-11/+48
* solver: optimize backjumpingTimo Teräs2012-10-081-7/+7
* solver: properly calculate decision "strength" with providesTimo Teräs2012-10-081-17/+13
* solver: fix back jumping once moreTimo Teräs2012-10-051-17/+33
* solver: record dependency apk_name in apk_decisionTimo Teräs2012-10-051-51/+19
* solver: various fixesTimo Teräs2012-10-031-14/+58
* solver: improve assert error messagesNatanael Copa2012-10-031-2/+3
* solver: fix compile with -Werror on 64bitNatanael Copa2012-10-031-1/+1
* apk: implement --progress-fd to write progress to a specified fdTimo Teräs2012-09-201-17/+27
* solver: fix install_if triggers on cyclic and early depsTimo Teräs2012-04-271-11/+15
* solver: fix backtracking with install_if dependenciesTimo Teräs2012-04-271-17/+20
* solver: fix a type from previous commitTimo Teräs2012-03-311-1/+1
* solver: fix installation of non-repository packagesTimo Teräs2012-03-311-1/+2
* solver: properly set allowed flag for installed packagesTimo Teräs2012-03-011-3/+6
* solver: rename some fieldsTimo Teräs2012-02-291-24/+25
* solver: merge apk_name_state to apk_nameTimo Teräs2012-02-291-223/+136
* solver, test: make conflicts unconditionalTimo Teräs2012-02-291-13/+36
* solver: ask confirmation in interactive mode only if there's changesTimo Teräs2012-02-281-1/+2
* solver: do not consider non-allowed packages in main loopTimo Teräs2012-02-281-43/+32
* solver: consider provided names also for preferenceTimo Teräs2012-02-281-2/+13
* solver: fix conflicting provides detectionTimo Teräs2012-02-281-2/+15
* solver: allow multiple packages with same virtual providesTimo Teräs2012-02-281-8/+14
* solver, test: implements more provides things, add testsTimo Teräs2012-02-271-30/+92
* solver: have most inherited things per-package and clean upsTimo Teräs2012-02-271-156/+168
* solver: remove minimum penalty logicTimo Teräs2012-02-271-49/+7
* solver, dot: elementary provides fixesTimo Teräs2012-02-241-21/+57
* all: introduce apk_provides and use it in apk_nameTimo Teräs2012-02-241-73/+79
* solver: unallowed pinning is worse than changing installed packageTimo Teräs2012-02-241-10/+7
* solver: non preferred actions are worse then non preferred pinningTimo Teräs2012-02-241-6/+16
* test: improve pinning testsTimo Teräs2012-02-241-1/+4
* solver: fix output of broken dependenciesTimo Teräs2012-02-231-1/+1
* solver: report size difference in kibi- or mebibytesTimo Teräs2012-02-231-5/+11
* solver: lock early names that have only single option leftTimo Teräs2012-02-221-3/+13
* solver: lazily update name state in main loopTimo Teräs2012-02-221-171/+125
* solver: handle fix/reinstall betterTimo Teräs2012-02-221-30/+36
* solver: transitive dependency requiringTimo Teräs2012-02-221-12/+41
* solver: remove dependency merging; it's not worth itTimo Teräs2012-02-221-77/+4
* db, solver, io: scan cache items at startupTimo Teräs2012-02-221-42/+36
* solver: make apk_score a 64-bit int for speedTimo Teräs2012-02-211-9/+49
* solver: remove unneeded flagTimo Teräs2012-02-211-4/+1
* solver: implement backwards jumping and various other optimizationsTimo Teräs2012-02-211-149/+215
* solver: rewrite backtracking and scoring systemTimo Teräs2012-02-201-406/+690
* apk: fix some unharmful leaks reported by valgrindTimo Teräs2012-02-171-0/+1
* solver: get rid of saved score in backtrackingTimo Teräs2012-02-171-41/+57
* solver: convert some package state flags to bitfieldsTimo Teräs2012-02-161-11/+13
* solver: name's unlocked chosen is always next package getting lockedTimo Teräs2012-02-161-35/+28
* solver: rework internals a bitTimo Teräs2012-02-161-138/+190
* solver: fix allowed pinning calculationTimo Teräs2012-02-161-2/+2