96 Commits (59d2b1145c1e1df52a2218aada100c29c45f7e7b)

Author SHA1 Message Date
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
Nils Adermann 7609f27052 Merge branch 'add-tests' of https://github.com/l3l0/composer into new-master
* 'add-tests' of https://github.com/l3l0/composer:
  Made fixes after review.
  Made changes which fied warnings and errors in tests.
  Fixed tests after update and merge of changes from upstream/master
  Fixed code. Changes improved code testability
  Added and extended some unit tests
13 years ago
Jordi Boggiano 5e3bf86851 Remove .swp file 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
Leszek Prabucki f59ca1e2f8 Made fixes after review. 13 years ago
Leszek Prabucki 9488b0f85f Fixed code. Changes improved code testability 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
Artem Lopata (bumz) de066de198 Fix for composer. When running update/install command it's just do nothing, except writing "Installing dependencies" 13 years ago
Jordi Boggiano c921a8884e Adjust operation output, fixes #166 13 years ago
digitalkaoz 87831d8c1c fixed typo 13 years ago
Jordi Boggiano f2662b193d Add --dry-run option and list all operations on --verbose 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 5d5d6462e3 Correctly declare all literal properties 13 years ago
Nils Adermann 40b33914b3 Compute rule hashes for faster duplicate detection 13 years ago
Nils Adermann 69f55d37bb Generate literal ids only once and use in equals()
Significant speedup because equals and getId() are called so frequently.
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 b717ad8851 Display rules in more readable format 13 years ago
Nils Adermann 46e1001b4b Replaced packages have higher priority, even if wrong version is replaced 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 5bd1722d7e Merge pull request #77 from benja-M-1/master
Fix the exception "Invalid argument supplied for foreach()"
13 years ago
Benjamin Grandfond 72bfe8b92c Fix Exception in Request
Fix the exception "Invalid argument supplied for foreach()" when the
install command is launched multiple times.
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
Nils Adermann 2056c4c732 Allow downgrades and uninstalls in the default policy 13 years ago
Jordi Boggiano d3aa8336dc Fix typo 13 years ago
Nils Adermann 571c14adf9 Prefer original packages over replaced packages of same repository priority 13 years ago
Nils Adermann 44369472be Define the calculation of package priorities in a single method 13 years ago