summaryrefslogtreecommitdiff
path: root/src/solver.c
AgeCommit message (Expand)AuthorFilesLines
2016-07-22upgrade: improve self upgrade functionality a bitTimo Teräs1-4/+5
2015-12-10solver: more debug output for package errorsTimo Teräs1-7/+11
2015-01-30sort world dependencies alphabeticallyTimo Teräs1-0/+8
2015-01-30remove reverse dependencies firstTimo Teräs1-0/+6
2014-10-06solver: enforce conflicts during upgrades and new pkg installsTimo Teräs1-2/+11
2014-05-19solver: fix installation of non-repository packages during tmpfs bootTimo Teräs1-2/+6
2014-04-10solver: purge install_if packages deleted from repositories on upgrade -aTimo Teräs1-2/+9
2014-04-10solver: fix cleaning of packages that got replaced by providesTimo Teräs1-1/+4
2014-04-04solver: fix inherited flags/pinning for install_if packagesTimo Teräs1-56/+28
2014-04-04solver: do not consider packages in cache as 'available'Timo Teräs1-5/+16
2014-03-12solver: additional improvements to install_if handlingTimo Teräs1-4/+20
2014-03-11solver: fixes to install_if handlingTimo Teräs1-14/+21
2013-09-06solver: if pinning is specified, it overrides preferred reposTimo Teräs1-1/+1
2013-07-17solver: do not disqualify already disqualified packagesNatanael Copa1-1/+1
2013-07-04solver: use ffs (posix) instead of ffsl (gnu extension)Timo Teräs1-1/+2
2013-06-20solver: fix pinning+cache to workTimo Teräs1-16/+27
2013-06-19solver: fix package deletion to consier provides properlyTimo Teräs1-22/+36
2013-06-19solver: properly order deletion of unneeded packagesTimo Teräs1-71/+129
2013-06-19solver: add logic: transitive provides exclusionTimo Teräs1-24/+65
2013-06-19upgrade: new option: --latest (-l)Timo Teräs1-56/+87
2013-06-18errors: improve analysis for virtual packagesTimo Teräs1-6/+4
2013-06-17db: refactor repository file constructionTimo Teräs1-1/+1
2013-06-14solver: use array_foreach_item and clean upsTimo Teräs1-156/+130
2013-06-13errors: rewrite the logic how errors are reportedTimo Teräs1-0/+3
2013-06-13solver: prune broken world dependencies with --forceTimo Teräs1-22/+54
2013-06-13solver: corner case fixesTimo Teräs1-3/+19
2013-06-13solver: rewrite as deductive solver -- pinning supportTimo Teräs1-26/+135
2013-06-13solver: rewrite as deductive solver -- per name flagsTimo Teräs1-8/+24
2013-06-13solver: rewrite as deductive solver -- core featuresTimo Teräs1-1830/+418
2013-06-12Revert "Revert "solver: increase score fields to 32-bits (from 16-bits)""William Pitcock1-21/+27
2013-06-11Revert "solver: increase score fields to 32-bits (from 16-bits)"root1-27/+21
2013-05-30db: unify handling of special packagesTimo Teräs1-8/+2
2013-04-29solver: increase score fields to 32-bits (from 16-bits)Timo Teräs1-21/+27
2013-01-28solver: remove backjumping by nameTimo Teräs1-28/+3
2013-01-28solver: reintroduce minimum penalty logicTimo Teräs1-49/+55
2013-01-22solver: do not backtrack over "exclude none"Timo Teräs1-1/+8
2013-01-21solver: simplify strength evaluation in constraint handlingTimo Teräs1-20/+8
2013-01-21solver: check if solution is not found at allTimo Teräs1-0/+6
2013-01-18solver: fix reset of last_touched to zeroTimo Teräs1-2/+2
2013-01-18solver: some code clean upsTimo Teräs1-5/+5
2013-01-18solver: build fix for debug print on x86_64Natanael Copa1-1/+1
2013-01-18solver: fix name assignment logic to not mess up internal stateTimo Teräs1-11/+10
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