Jordi Boggiano
db4055b778
Put a higher prio on replacers of the same vendor as the required package
12 years ago
Jordi Boggiano
514a3cde77
CS fixes
12 years ago
Jordi Boggiano
5d78fa6ce6
Report typos in package name if no version matches
12 years ago
Pascal Borreli
83fd3967f0
Fixed PHPDoc
12 years ago
Pascal Borreli
5eead93250
Fixed typos
12 years ago
Jordi Boggiano
6a03e4f9ac
Code optimizations: Avoiding counting repeatedly
12 years ago
Nils Adermann
27d8904abe
resetToOffset method was moved to the Decisions class a while ago
12 years ago
Jordi Boggiano
ef637c8f1a
CS fixes
12 years ago
Adrien Brault
4263fe9255
Fix Solver CS
12 years ago
Nils Adermann
cc7632489d
Make problem report messages more readable
...
Added pretty strings to constraints
12 years ago
Nils Adermann
12abff8b4c
Simplify branch handling code
12 years ago
Nils Adermann
5b1a48663e
DecisionQueueFree is no longer needed
12 years ago
Nils Adermann
2fbc04b950
Make decisions countable and use foreach to iterate them in solver
12 years ago
Nils Adermann
d592c0a55e
Remove only branches on right levels in revert
12 years ago
Nils Adermann
ac762ba6e9
Correctly resolve branches if necessary
12 years ago
Nils Adermann
67fde90666
Correctly sort operations within transactions using DFS
...
Fixes #655
12 years ago
Nils Adermann
26e051cb76
Decisions are now encapsulated in a separate object
12 years ago
Jordi Boggiano
1bd4ccbd54
php-cs-fixer magic
13 years ago
Nils Adermann
21c7e219e2
Change "else if" to "elseif"
13 years ago
Nils Adermann
99200af51b
Correctly indent break statements
13 years ago
Nils Adermann
76d3950992
Document the RuleWatchGraph
13 years ago
Nils Adermann
2dfea8a5e0
Only consider undecided literals for selectAndInstall
...
Fixes #707
13 years ago
Nils Adermann
dd527a4049
Remove weak rules
...
Since we no longer have suggest/recommend rules and no longer use any update
or feature rules so packages are removed by default, we do not need weak rules
anymore.
13 years ago
Nils Adermann
025581b365
Rename walkLiteral method to more explicitly say what it does
13 years ago
Nils Adermann
451bab1c2c
Get rid of Literal object / literal id mix, use literals only to save memory
13 years ago
Nils Adermann
731a451dfe
Move handling of watch graph to separate classes
13 years ago
Nils Adermann
71ee5c8f4c
We don't have a systemsolvable at the lowest level
13 years ago
Nils Adermann
286593cf99
Move solver debugging code into solver subclass
13 years ago
Nils Adermann
46e4ae0e6a
Move rule generation from solver into separate rule set generator
13 years ago
Nils Adermann
70e306f055
Process all jobs in one method and remove lock jobs which are not used
13 years ago
Nils Adermann
3fcd042fd4
Skip adding (ignored) duplicate rules which were already added
13 years ago
Nils Adermann
1d60ae1bfc
We no longer support recommended packages, remove left over code
13 years ago
Nils Adermann
92ecf5a603
Remove unused variables
13 years ago
Nils Adermann
bd66c27ff6
We mark packages as uninstallable by removing them from the repo
...
As it is faster to remove packages from the repos and keep them out of the
package pool to begin with, we don't need an installable() method on the
policy.
13 years ago
Nils Adermann
8fc09afbae
Move transaction generation to a separate class
13 years ago
Nils Adermann
37d271271d
Turn assertions into solver bug exceptions with more info
13 years ago
Nils Adermann
0c1944a9d0
Let the solver handle aliases instead of the installer
13 years ago
Nils Adermann
15f43571b9
Rules of type feature are no longer needed
13 years ago
Nils Adermann
69b55f12ae
Call feature rules update rules, as there is no difference in composer
13 years ago
Nils Adermann
0bd6fa1f37
An array of installed packages is no longer needed in the solver
13 years ago
Nils Adermann
cf5d14e2e1
Move all solver members to top of the file
13 years ago
Nils Adermann
c51fedef8c
Policy rules cannot conflict with jobs anymore
...
As we no longer need special feature rules for updating installed packages
we don't have policy rules which might conflict with job rules anymore.
Everything is driven by jobs now.
13 years ago
Nils Adermann
5feff954a4
Remove commented out debug output
13 years ago
Nils Adermann
c37e126e14
Installed packages are now always removed unless otherwise requested
...
This means that an update request must always be accompanied by an install
request, otherwise the package might be removed rather than updated.
13 years ago
Nils Adermann
f4ae88a5d6
Create lookup table for installed packages in only one place
13 years ago
Nils Adermann
5daeacf0ac
We won't implement choice rules, you need to edit composer.json to choose
13 years ago
Nils Adermann
875261931c
We do not support any options to keep obsolete packages
13 years ago
Jordi Boggiano
f7440076fa
Revert "Merge remote-tracking branch 'naderman/remove-packages-by-default'"
...
This reverts commit 2988152602
, reversing
changes made to adb4188e12
.
13 years ago
Nils Adermann
f4d5568937
Rules of type feature are no longer needed
13 years ago
Nils Adermann
d153ab3f8f
Call feature rules update rules, as there is no difference in composer
13 years ago
Nils Adermann
f98ab2e491
An array of installed packages is no longer needed in the solver
13 years ago
Nils Adermann
7be4b82ad2
Move all solver members to top of the file
13 years ago
Nils Adermann
6410817c4e
Policy rules cannot conflict with jobs anymore
...
As we no longer need special feature rules for updating installed packages
we don't have policy rules which might conflict with job rules anymore.
Everything is driven by jobs now.
13 years ago
Nils Adermann
3618ddacb0
Remove commented out debug output
13 years ago
Nils Adermann
2cb2cde096
Installed packages are now always removed unless otherwise requested
...
This means that an update request must always be accompanied by an install
request, otherwise the package might be removed rather than updated.
13 years ago
Nils Adermann
1a48ebaf57
Create lookup table for installed packages in only one place
13 years ago
Nils Adermann
0e537b9c93
We won't implement choice rules, you need to edit composer.json to choose
13 years ago
Nils Adermann
5ba9a887c2
We do not support any options to keep obsolete packages
13 years ago
Nicolas Le Goff
3f13eb87b1
fix_typo
13 years ago
Jordi Boggiano
53191eb0fe
Remove recommend, make suggest informational, add require-dev, fixes #78 , fixes #510
13 years ago
Nils Adermann
64a451eaf9
Remove dontFix feature for local packages and explicit fix command
...
This made sense for the libzypp, so your kernel doesn't get deleted
just cause it thinks something is broken, but it doesn't really make
sense for composer.
13 years ago
Nils Adermann
a16aa68c1d
Rule literals are sorted, so first literal added is not first retrieved
...
Fixes #477
13 years ago
Nils Adermann
83123b2d40
Generate human readable explanations of rules which cause problems
13 years ago
Nils Adermann
2c87fe5a22
Collect solver problems in Problem objects with human readable output.
13 years ago
Jordi Boggiano
9ed05e09f3
Fix version_compare for ubuntu that ships with versions like 5.3.3-1 (bigger than 5.3.3)
13 years ago
Nils Adermann
17f0730e51
Levels are always > 0, negative level was just a hack in the C implementation
...
Fixes #243
13 years ago
Nils Adermann
f3ff53b17c
Create problems directly, rather than generating impossible rules
13 years ago
Nils Adermann
ff620afe05
Correct the parent path in the watch tree, after moving a rule out of the path
13 years ago
Nils Adermann
3e1749fbad
Readd update-all jobs and make them available through the request
13 years ago
Nils Adermann
9b8e62396c
Merge pull request #324 from edorian/installNonExistingPackage
...
Create an 'impossible rule' when installing non existent packages
13 years ago
Nils Adermann
2a92b904d2
Correct placing of braces
13 years ago
Nils Adermann
1ee5d99405
When changing watched literals of a rule, update the parent's next pointer
...
The previous rule was not previously updated to point to the next rule when
removing a middle rule from the watch tree for a literal. This resulted in
jumping from one literal's watch tree to another's, which could then jump
back to the original and cause infinite loop in a case like #265 .
Fixes #265
13 years ago
Volker Dusch
e20a79ac61
Fix TODO tags to confirm with the projects standard
13 years ago
Nils Adermann
8484199677
Display undecided literals as undecided with a ?, when printing the decision map
13 years ago
Nils Adermann
0b8fb68e93
Add a debug print method for the entire watch tree to the solver
13 years ago
Volker Dusch
eafe13d5a5
Create an impossible rule when trying to install something that doesn't exist.
...
The rule isn't acted upon yet (hence the incomplete test) but it is there as a reminder that this case needs to be handled.
13 years ago
Nils Adermann
52d876e11e
Add SolverProblemsException and test basic solver failures
13 years ago
Nils Adermann
8fd4e56029
Deciding to install a package and wanting to install it, is not a conflict
13 years ago
Volker Dusch
3fb75faa75
Now that no more update rules are created the code that handles them can be removed too.
...
Also adapted the tests that used TYPE_UPDATE exemplarily to use TYPE_FEATURE.
13 years ago
Volker Dusch
ec61297122
Remove the allowUninstall policy option and clean up the only usage
13 years ago
Nils Adermann
cbc021c05d
featureRule no longer exists, only update rule
13 years ago
Volker Dusch
5fdca19880
Removed the option to disallowed downgrades and simplifed some places where it was used
13 years ago
Volker Dusch
cc80e5a3b1
Cleanup unreachable code
13 years ago
Volker Dusch
fb69ef64c5
Fix Solver function visibility to reflect what acutally should be the public interface
13 years ago
Nils Adermann
cb7f656fa9
Off by one error in the solver - 1 cannot be false
...
Fixes #133 , #160 , #162 , #177 , #289
13 years ago
Justin Rainbow
8e64229461
Increasing version number to include 5.3.3 which also has an issue with SplFixedArray
13 years ago
Joseph Bielawski
188d8beb79
Class name typo fix
13 years ago
Justin Rainbow
7eda0a8823
PHP 5.3.2 segmentation fault fix
...
For some reason, using the SqlFixedArray causes a Segmentation Fault during
an install or update. Changing to a simple array fixes this issue, but in
turn uses more memory. Which is why there is the version test.
13 years ago
Jordi Boggiano
edf948454b
Remove IO from Solver, debug methods don't need it
13 years ago
François Pluchino
0f9dcc9618
Remplace all echo with writeln method of IO
13 years ago
Hugo Hamon
9acbb0c026
[DependencyResolver] removed unused local variables and fixed some wrong local variable names in Solver class.
13 years ago
digitalkaoz
87831d8c1c
fixed typo
13 years ago
Jordi Boggiano
d020f2701d
Merge pull request #118 from naderman/priority-replace-any-version
...
Replaced packages have higher priority even if wrong version is replaced
13 years ago
Nils Adermann
40b33914b3
Compute rule hashes for faster duplicate detection
13 years ago
Nils Adermann
bca746c947
Don't consider a revert to level 1 (base level) in sat solver a failure
13 years ago
Nils Adermann
4140f08d9c
Use a map of installed package ids in the solver
...
The assumption package.repo == installed no longer holds for installed
packages because there are multiple wrapped installed repositories.
13 years ago
Nils Adermann
e4f40272a3
Conflict handling: lastWeakWhy stores a rule, not a rule id
13 years ago
Nils Adermann
3e0e893f26
Correctly output decision map when debugging
13 years ago
Nils Adermann
85d38c653f
Also detect updates resulting from feature rules rather than update rules
13 years ago
Jordi Boggiano
d3aa8336dc
Fix typo
13 years ago