aboutsummaryrefslogtreecommitdiffstats
path: root/src/solver.c
Commit message (Expand)AuthorAgeFilesLines
* solver: if pinning is specified, it overrides preferred reposTimo Teräs2013-09-061-1/+1
* solver: do not disqualify already disqualified packagesNatanael Copa2013-07-171-1/+1
* solver: use ffs (posix) instead of ffsl (gnu extension)Timo Teräs2013-07-041-1/+2
* solver: fix pinning+cache to workTimo Teräs2013-06-201-16/+27
* solver: fix package deletion to consier provides properlyTimo Teräs2013-06-191-22/+36
* solver: properly order deletion of unneeded packagesTimo Teräs2013-06-191-71/+129
* solver: add logic: transitive provides exclusionTimo Teräs2013-06-191-24/+65
* upgrade: new option: --latest (-l)Timo Teräs2013-06-191-56/+87
* errors: improve analysis for virtual packagesTimo Teräs2013-06-181-6/+4
* db: refactor repository file constructionTimo Teräs2013-06-171-1/+1
* solver: use array_foreach_item and clean upsTimo Teräs2013-06-141-156/+130
* errors: rewrite the logic how errors are reportedTimo Teräs2013-06-131-0/+3
* solver: prune broken world dependencies with --forceTimo Teräs2013-06-131-22/+54
* solver: corner case fixesTimo Teräs2013-06-131-3/+19
* solver: rewrite as deductive solver -- pinning supportTimo Teräs2013-06-131-26/+135
* solver: rewrite as deductive solver -- per name flagsTimo Teräs2013-06-131-8/+24
* solver: rewrite as deductive solver -- core featuresTimo Teräs2013-06-131-1830/+418
* Revert "Revert "solver: increase score fields to 32-bits (from 16-bits)""William Pitcock2013-06-121-21/+27
* Revert "solver: increase score fields to 32-bits (from 16-bits)"root2013-06-111-27/+21
* db: unify handling of special packagesTimo Teräs2013-05-301-8/+2
* solver: increase score fields to 32-bits (from 16-bits)Timo Teräs2013-04-291-21/+27
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 23:58:14 +0000