aboutsummaryrefslogtreecommitdiffstats
path: root/src/solver.c
Commit message (Expand)AuthorAgeFilesLines
...
* 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
* solver: record repository tag, and flags in solutionTimo Teräs2012-02-161-55/+92
* solver: remove an unneeded name state variableTimo Teräs2012-02-161-5/+0
* solver, db: repository pinning improvementsTimo Teräs2012-02-151-48/+73
* solver: fix regression from "calculate branch minimum penalty early"Timo Teräs2012-01-201-7/+21
* solver, upgrade: properly detect missing repository tagsTimo Teräs2012-01-171-2/+2
* solver: fix change ordering of removed pages in relation to installedTimo Teräs2012-01-171-5/+6
* solver: calculate branch minimum penalty earlyTimo Teräs2012-01-171-55/+97
* add: make repository tag pinning strongerTimo Teräs2012-01-131-8/+19
* solver: print repository tag when committing package changesTimo Teräs2012-01-121-9/+22
* db, solver: refuse committing changes if there is missing tagsTimo Teräs2012-01-121-0/+10
* solver: report number of (mega)bytes usedTimo Teräs2011-12-271-4/+11
* solver: fix error detection for certain unsatisfiability casesTimo Teräs2011-11-231-2/+46
* solver: fix zero score comparisonTimo Teräs2011-11-011-1/+1
* solver: return changeset even for partial solutionsTimo Teräs2011-11-011-12/+8
* solver: consider world dependencies to determining exit scoreTimo Teräs2011-11-011-2/+4
* solver: misc fixesTimo Teräs2011-10-311-9/+22
* solver: fix indentation of package lists (in interactive mode)Timo Teräs2011-10-291-1/+1
* solver, db: implement repository pinningTimo Teräs2011-10-291-5/+34
* solver, pkg: implement versioned conflictsTimo Teräs2011-10-241-6/+4
* solver: preference scoringTimo Teräs2011-10-141-75/+112
* solver: return error code if things fail during package installTimo Teräs2011-09-281-2/+1
* solver: evaluate penalty of unsatisfiable name earlyTimo Teräs2011-09-281-4/+16
* solver: fix backtrackingTimo Teräs2011-09-221-32/+33
* solver: inheritable solver flagsTimo Teräs2011-09-161-26/+108
* solver: fix sorting when solver is used multiple times within runTimo Teräs2011-09-151-1/+2
* solver: make state pointers completely internalTimo Teräs2011-09-141-32/+29
* solver, db: run triggers in dependency orderTimo Teräs2011-09-141-4/+45
* upgrade: reimplement self-upgrade (after solver merge)Timo Teräs2011-09-141-1/+13
* all: update copyright year statementTimo Teräs2011-09-131-1/+1
* solver: add per-name specific flags, and fix the fix appletTimo Teräs2011-09-131-14/+29
* print: minor cleanup to indented writerTimo Teräs2011-09-091-1/+1
* del: fix recursive deletion and messages (after solver merge)Timo Teräs2011-09-091-12/+13
* applets: start using solver codeTimo Teräs2011-09-091-83/+447
* solver: report 'complete' solutions with errorsTimo Teräs2011-09-051-28/+27
* solver: reintroduce install_if supportTimo Teräs2011-08-181-46/+185
* solver: move topology sorting to solver codeTimo Teräs2011-08-051-38/+92
* solver: generate proper error messagesTimo Teräs2011-08-011-185/+181
* solver: don't consider package that we can't haveTimo Teräs2011-07-271-2/+26
* solver: permutate each preferred solution firstTimo Teräs2011-07-271-57/+55
* solver: new package selection logic (which is not yet used)Timo Teräs2011-07-261-0/+563
generated by cgit v1.2.3 (git 2.25.1) at 2025-08-15 05:21:57 +0000