aboutsummaryrefslogtreecommitdiffstats
path: root/src/solver.c
Commit message (Expand)AuthorAgeFilesLines
...
* solver: remove backjumping by nameTimo Teräs2013-01-281-28/+3
* solver: reintroduce minimum penalty logicTimo Teräs2013-01-281-49/+55
* solver: do not backtrack over "exclude none"Timo Teräs2013-01-221-1/+8
* solver: simplify strength evaluation in constraint handlingTimo Teräs2013-01-211-20/+8
* solver: check if solution is not found at allTimo Teräs2013-01-211-0/+6
* solver: fix reset of last_touched to zeroTimo Teräs2013-01-181-2/+2
* solver: some code clean upsTimo Teräs2013-01-181-5/+5
* solver: build fix for debug print on x86_64Natanael Copa2013-01-181-1/+1
* 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