summaryrefslogtreecommitdiff
path: root/apt-pkg/solver3.cc
Commit message (Expand)AuthorAgeFilesLines
* 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
* solver3: Fix intransitivity of version comparison on upgradeJulian Andres Klode2024-12-021-11/+17
* solver3: Refactor Install(Ver) to PropagateInstall(Ver)Julian Andres Klode2024-11-021-30/+34
* solver3: Check whether installable versions are allowedJulian Andres Klode2024-11-021-7/+10
* solver3: A version selected for install already is allowed.Julian Andres Klode2024-11-021-1/+1
* Add a FIXME around the heap compactionJulian Andres Klode2024-11-021-0/+2
* solver3: Rename the 'dirty' bit to 'erased'Julian Andres Klode2024-11-021-6/+6
* solver3: Remove the Reject() function, propagate in Enqueue() insteadJulian Andres Klode2024-11-021-52/+37
* solver3: Move needsRescore from Reject to Enqueue()Julian Andres Klode2024-11-021-4/+3
* solver3: Remove obsolete checksJulian Andres Klode2024-11-021-44/+5
* solver3: Introduce new Assume() and Enqueue() helpers and use themJulian Andres Klode2024-11-021-23/+41
* solver3: Rename Reason to VarJulian Andres Klode2024-11-021-38/+38
* solver3: Track all assignments and undo them individuallyJulian Andres Klode2024-11-021-56/+71
* Fix obsoleted-by handling for experimentalJulian Andres Klode2024-08-121-11/+37
* solver3: Refactor Reason.Pkg()/Reason.Ver() use with iteratorJulian Andres Klode2024-07-161-6/+6
* solver3: Formatting cleanupJulian Andres Klode2024-07-021-8/+8
* solver3: Only demote obsolete packages in choices for upgradesJulian Andres Klode2024-07-021-2/+3
* solver3: Consider packages as obsolete and not versionsJulian Andres Klode2024-07-021-11/+24
* solver3: Refactor (rewrite) FromDepCache()Julian Andres Klode2024-07-011-36/+23
* solver3: Unmark packages before setting any in ToDepCacheJulian Andres Klode2024-07-011-0/+2
* solver3: Do not accidentally promote Replaces and Enhances to dependenciesJulian Andres Klode2024-07-011-1/+3
* solver3: Order obsolete choices lastJulian Andres Klode2024-06-131-8/+41
* solver3: Remove no longer necessary comparisonsJulian Andres Klode2024-06-131-22/+0
* solver3: Group work itemsJulian Andres Klode2024-06-131-21/+33
* solver3: Do not dump sizes that are clearly pointersJulian Andres Klode2024-06-131-1/+1
* solver3: Fix translations of removals for marked installJulian Andres Klode2024-05-241-1/+1
generated by cgit v1.2.3-70-g09d2 (git 2.46.0) at 2026-07-18 16:43:38 +0000