summaryrefslogtreecommitdiff
path: root/apt-pkg/solver3.cc
Commit message (Expand)AuthorAgeFilesLines
...
* solver3: Fix detection of satisfied recommends for pkg variablesJulian Andres Klode2025-03-101-1/+1
* solver3: Do not prefer new installs over manually installed obsoletesJulian Andres Klode2025-03-091-2/+5
* solver3: Verbose error messagesJulian Andres Klode2025-03-081-21/+186
* solver3: bestReason: Only find actual assignmentsJulian Andres Klode2025-03-071-1/+5
* solver3: Support pretty printing clausesJulian Andres Klode2025-03-061-5/+16
* solver3: refactor: Return inserted Clause in AddWork()Julian Andres Klode2025-03-061-7/+8
* refactor obsolete checks to use VerFileIterator::Downloadable()Julian Andres Klode2025-03-031-6/+5
* solver3: Fix error stack handlingJulian Andres Klode2025-02-181-7/+7
* solver3: Fix test-apt-move-and-forget-manual-sectionsJulian Andres Klode2025-02-181-2/+24
* solver3: Store clauses as the reasons for decisionsJulian Andres Klode2025-02-141-19/+30
* solver3: Only enqueue shared dependencies at the package levelJulian Andres Klode2025-02-141-0/+10
* solver3: Remove work rescoring in favor of unit propagationJulian Andres Klode2025-02-141-56/+26
* solver3: Refactor a debug messageJulian Andres Klode2025-02-141-6/+1
* solver3: Pass EDSP flags directly rather than via configJulian Andres Klode2025-02-141-2/+3
* solver3: Fix ordering of or groupsJulian Andres Klode2025-02-141-6/+10
* solver3: Implement phasing as part of strict pinning rulesJulian Andres Klode2025-02-141-1/+3
* solver3: Promote various Recommends to DependsJulian Andres Klode2025-02-141-0/+12
* solver3: Correctly call MarkKeep() for kept back packagesJulian Andres Klode2025-02-141-11/+15
* solver3: Install Essential on dist-upgradeJulian Andres Klode2025-02-141-0/+14
* solver3: Defer 3.0 'deep' autoremoval to 3.1, fix autoremoveJulian Andres Klode2025-02-141-1/+1
* solver3: Reject reverse conflicts on installJulian Andres Klode2025-02-141-0/+9
* solver3: Reject reverse dependencies nativelyJulian Andres Klode2025-02-141-106/+26
* solver3: Implement a timeout, default 10sJulian Andres Klode2025-02-141-1/+7
* solver3: Discover recursive dependenciesJulian Andres Klode2025-02-141-32/+47
* solver3: Defer version selection where possibleJulian Andres Klode2025-02-141-12/+20
* solver3: Avoid std::vector for statically sized arraysJulian Andres Klode2025-02-071-11/+11
* solver3: Add const where helpfulJulian Andres Klode2025-02-071-4/+4
* solver3: Point to stored clauses, do not copy themJulian Andres Klode2025-02-071-36/+39
* solver3: Use a package clause for optional rootsJulian Andres Klode2025-02-071-4/+20
* solver3: Refactor Dump() to toString()Julian Andres Klode2025-02-071-50/+25
* solver3: Support comparing packages and versionsJulian Andres Klode2025-02-071-8/+15
* solver3: Replace PropagateInstall() with Discover()Julian Andres Klode2025-02-071-75/+65
* solver3: Extract TranslateOrGroup() out of EnqueueOrGroup()Julian Andres Klode2025-02-071-39/+36
* solver3: Extract Clause out of WorkJulian Andres Klode2025-02-071-54/+57
* solver3: Simplify WhyStr()Julian Andres Klode2025-02-071-16/+5
* solver3: Cache all configuration callsJulian Andres Klode2025-02-071-9/+4
* solver3: Cache calls to policyJulian Andres Klode2025-02-071-6/+8
* solver3: Propagate single choice clauses as factsJulian Andres Klode2025-02-071-9/+11
* solver3: Early exit when propagating satisfied clausesJulian Andres Klode2025-02-071-4/+5
* solver3: Partially generalize work items from Version to VarJulian Andres Klode2025-02-071-29/+33
* solver3: Simplify work orderingJulian Andres Klode2025-02-071-14/+4
* solver3: Drop unused upgrade flagJulian Andres Klode2025-02-071-2/+2
* solver3: Credit MiniSATJulian Andres Klode2025-01-301-0/+11
* solver3: Use a propagation queueJulian Andres Klode2025-01-301-8/+24
* solver3: Replace Install() with Enqueue(), and PropagateInstall()Julian Andres Klode2025-01-301-41/+33
* solver3: Remove NewUnsatRecommends groupJulian Andres Klode2025-01-301-2/+0
* solver3: Soft unit propagation for optional itemsJulian Andres Klode2025-01-301-2/+7
* Drop usage of macro APT_OVERRIDE for simple overrideDavid Kalnischkies2025-01-051-2/+2
* solver3: Reject all non-candidates outright for strict pinningJulian Andres Klode2024-12-031-25/+18
* solver3: Add a missing debug level checkJulian Andres Klode2024-12-031-1/+2
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-07-18 04:06:54 +0000