133 Commits (main)

Author SHA1 Message Date
Nils Adermann 1228bcdffc Internalize pool creation in repository set, store root aliases in set
The pool is still exposed too early in a few places which will require
further refactoring
6 years ago
Nils Adermann 6ef65e5319 Add a new RepositorySet class and restrict pool usage to the solver
Breaking change for the plugin interface so bumping the version of
composer-plugin-api to 2.0.0

First step for a refactoring of the package metadata loading mechanism
6 years ago
Gabriel Caruso a4b220273e Refactoring Tests (#6849) 7 years ago
Nils Adermann 7dffe79a0f Update tests of solver problem message to match new message 7 years ago
Jordi Boggiano 122e422682 CS fixes 7 years ago
Niels Keurentjes 8e78ce9a43 Add extra logging before and after SAT solving 8 years ago
Jefferson Carpenter b7845bb6c0 Update SolverTest.php 9 years ago
Rob Bast b523fc0b7b ran fixers 9 years ago
Jordi Boggiano ce08582671 Fix CS 9 years ago
Rob Bast a1427d7fd6 replace all occurences in code and comments 9 years ago
Possum 2e99b9fdf5 Use https where possible 9 years ago
Jordi Boggiano 94926218e8 CS fixes 10 years ago
Nils Adermann 5b80144ad0 Resolve job packages after whitelist generation 11 years ago
Nils Adermann 3148ffd355 Whitelist packages with names matching those specified before generating rules
Addresses #2690 doesn't do any performance optimisations yet which we
could do now
11 years ago
Jordi Boggiano 38917c2047 Add parallel build to travis script 11 years ago
Jordi Boggiano 051d219438 Fix whatProvides returning too many results when no constraint is given 11 years ago
Jordi Boggiano cc9dac8fe2 Fix tests and convert all package lists to Name[Versions] format 11 years ago
Robert Gruendler 5160dd2f5e Return different error code for SolverProblemsException
To make it easier for external tools to detect SolverProblems and react
to them accordingly,
this PR introduces a new exit code.
11 years ago
Jordi Boggiano 1c39ad779b Fix wording 12 years ago
Jordi Boggiano 5d78fa6ce6 Report typos in package name if no version matches 12 years ago
Jordi Boggiano beb9a5bd72 Code optimizations: avoid loops in match() 12 years ago
Jordi Boggiano fb4183d5ad Fix tests 12 years ago
Jordi Boggiano d4aab7d5b6 Fix solver test 12 years ago
Jordi Boggiano 6573fd3f77 Add hint in solver exceptions as to what may be wrong 12 years ago
Jordi Boggiano 175d1939b5 Fix tests 12 years ago
Jordi Boggiano 4fcc114f97 Merge pull request #808 from palex-fpt/not-equal-operator
Add '<>' operator to Version Parser
12 years ago
Nils Adermann cc7632489d Make problem report messages more readable
Added pretty strings to constraints
12 years ago
Alexey Prilipko e130386612 Add '<>' operator for Version Parser 12 years ago
Grégoire Pineau f4e9dd4fb8 Fixed PSR rules 12 years ago
Nils Adermann a08c2a0b9f Corrected altered error message in test 12 years ago
Nils Adermann 67fde90666 Correctly sort operations within transactions using DFS
Fixes #655
12 years ago
Nils Adermann a7f1605cdf Add test for correct sorting when force installing deps 12 years ago
Nils Adermann 26e051cb76 Decisions are now encapsulated in a separate object 12 years ago
Nils Adermann 0c1944a9d0 Let the solver handle aliases instead of the installer 12 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.
12 years ago
Jordi Boggiano f7440076fa Revert "Merge remote-tracking branch 'naderman/remove-packages-by-default'"
This reverts commit 2988152602, reversing
changes made to adb4188e12.
12 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.
12 years ago
Nils Adermann a16aa68c1d Rule literals are sorted, so first literal added is not first retrieved
Fixes #477
12 years ago
Nils Adermann 2c87fe5a22 Collect solver problems in Problem objects with human readable output. 12 years ago
Martin Hasoň 2b08df5192 Changed repository priority in the pool 12 years ago
Nils Adermann f3ff53b17c Create problems directly, rather than generating impossible rules 13 years ago
Nils Adermann dd443cd570 Complete circular dependency with alternatives through virtual packages test 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 3b06a22e69 Add getVersionConstraint test case to avoid version normalization issues 13 years ago
Volker Dusch f304a0f129 Clean up the incomplete marker like suggested in https://github.com/composer/composer/pull/324#r465391 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
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 e6143d1584 Add todos to explain why try/catch is inside the test 13 years ago
Nils Adermann 52d876e11e Add SolverProblemsException and test basic solver failures 13 years ago
Volker Dusch a8b2db64d5 Expaned the update tests to make sure a) Only requested updates execute and b) Installed repos with no actions get pruned from the jobqueue 13 years ago
Nils Adermann 460822fb96 Fix indentation of doc comment 13 years ago
Nils Adermann 3b54316e91 Add a test for the off by one error in solver conflict resolution 13 years ago
Jordi Boggiano 098ba8e583 Add test 13 years ago
Jordi Boggiano 8cfbf9e198 Fix update, fixes #125 13 years ago
Nils Adermann a0faa4f69f Add a test for the complex conflict resolution fixed in #118 13 years ago
Jordi Boggiano 8e6f8ae57e Add prettyVersion to packages, fixes #76 13 years ago
Nils Adermann 0801d8ed31 Enable solver test regarding replaced packages after policy fix 13 years ago
Nils Adermann 571c14adf9 Prefer original packages over replaced packages of same repository priority 13 years ago
Nils Adermann 1b6f57e651 Correctly implement priorities and version numbers in the default policy 13 years ago
Jordi Boggiano 40cc5fea1d Add a few solver tests regarding "replace" 13 years ago
Nils Adermann 30f6c05069 Add test for choices in circular requirements and delete packagist based test 13 years ago
Nils Adermann 85f88de59d Add a solver test for provided virtual packages and circular dependencies 13 years ago
everzet 123f5fef77 Refactored Operations in order to fulfill naderman requests 13 years ago
Jordi Boggiano 6d667a849e Remove broken functional test 13 years ago
everzet 0a1e7320b0 Refactored solver result array. Now it returns array of operation objects which are much nicer to work with 13 years ago
Nils Adermann b1d16a88b7 Test a replace link with a null constraint between packages 13 years ago
Nils Adermann 69ebbf0eac Correct handling of rules with more than 2 literals. 13 years ago
Nils Adermann ac61c3973b Add a test for two equivalent installable packages and fix the functional test 13 years ago
Nils Adermann 0f6fb9b692 Separate transaction generation from solving and properly identify updates 13 years ago
Nils Adermann f46aa495da Turn obsolete relationships and replaced packages into conflict rules 13 years ago
Nils Adermann ad25618bdd Add install job and update rule conflict handling and reenable installation 13 years ago
Nils Adermann 1125de6bf2 Added disablePolicyRules to solve conflicts between remove jobs & update rules
This temporarily breaks installation of packages
13 years ago
Nils Adermann 01945c20f9 Simplify testSolverWithComposerRepo reusing utility methods from other tests 13 years ago
Nils Adermann 172c8b908e Split the large solver test up into individual units testing smaller parts 13 years ago
Jordi Boggiano b277b8e73c Add failing test with composer repo 13 years ago
Nils Adermann 825deff09f Completed analysis of unsolvable situations and main decision process 13 years ago
Nils Adermann 498125adbe Assertions are now properly decided before running the main solver.
Updating does not work yet. The test case works fine for installing/removing
the correct packages however. Weak (update/feature) rules are entirely ignored
so far.

Watches are on literal ids rather than literals to save on function calls
and memory usage. So a few methods for literals now have an id counter part.
This should probably be refactored to have the literal versions call the
id ones instead.
13 years ago
Jordi Boggiano d181e32000 Fixed test expectation 13 years ago
Jordi Boggiano 00260a89ae Make test fail 13 years ago
Jordi Boggiano 7ea2fd6c93 Fix author/copyright 13 years ago
Nils Adermann 933cc6179b Import initial partial port of the libzypp satsolver. 13 years ago