 Nils Adermann
|
9053d74282
Merge branch '2.0' into solve-without-installed
|
há 6 anos atrás |
 Matthew Brown
|
65903aacfd
Fix type issues (#7996)
|
há 6 anos atrás |
|
Nils Adermann
|
10ada7bf82
Refactor Installer class into separate install and update processes
|
há 7 anos atrás |
|
Nils Adermann
|
287419f6a0
Merge branch 'master' into 2.0
|
há 6 anos atrás |
|
Nils Adermann
|
29ff6a40ae
Follow up to #7946 test: add solver flag to assert path execution
|
há 6 anos atrás |
|
Nils Adermann
|
728e57b9e0
Merge branch 'master' into 2.0
|
há 6 anos atrás |
|
Nils Adermann
|
6b2edeae56
Fix solver problem exceptions with unexpected contradictory "Conclusions"
|
há 6 anos atrás |
 Jordi Boggiano
|
e753bf08b1
Minor tweaks
|
há 6 anos atrás |
|
Nils Adermann
|
c0f19f6c57
Move construction of pool from repo set into a pool builder
|
há 7 anos atrás |
|
Nils Adermann
|
b6e2d60c9e
Create the pool in the installer before giving it to the solver
|
há 7 anos atrás |
|
Nils Adermann
|
6ef65e5319
Add a new RepositorySet class and restrict pool usage to the solver
|
há 7 anos atrás |
 Rob
|
7079cdb70d
Merge pull request #7458 from staabm/patch-3
|
há 7 anos atrás |
 Markus Staab
|
86d5de2965
Define variable only when actually used
|
há 7 anos atrás |
|
Markus Staab
|
42516901f1
Removed another unnecessary abs() call
|
há 7 anos atrás |
|
Markus Staab
|
0e16dbabde
Removed another unnecessary abs() call
|
há 7 anos atrás |
 Markus Staab
|
e3a23f4ae6
Remove unnecessary abs() calls
|
há 7 anos atrás |
 Yanick Witschi
|
d82bdc04ac
Improved debugging output
|
há 7 anos atrás |
|
Yanick Witschi
|
5435877bd9
Improve SAT resolving developer debug information
|
há 7 anos atrás |
 Gabriel Caruso
|
3d262bd637
Fixes from PHPStan level 0
|
há 7 anos atrás |
|
Jordi Boggiano
|
122e422682
CS fixes
|
há 8 anos atrás |
 rubenrua
|
4e1887a721
Improve memory usage resolving dependencies
|
há 8 anos atrás |
 Nicolas Grekas
|
daf84bea33
Enhance solver perf by removing count()
|
há 9 anos atrás |
 Niels Keurentjes
|
8e78ce9a43
Add extra logging before and after SAT solving
|
há 9 anos atrás |
|
Niels Keurentjes
|
b059cbe37c
Removed unused variables and includes, fixed functions being called with more arguments than declared.
|
há 9 anos atrás |
 Rob Bast
|
1c7016de45
remove dead code/class
|
há 10 anos atrás |
|
Rob Bast
|
1bf03e9621
fixed various docblocks and class properties in solver
|
há 10 anos atrás |
|
Rob Bast
|
b523fc0b7b
ran fixers
|
há 10 anos atrás |
|
Jordi Boggiano
|
ce08582671
Fix CS
|
há 10 anos atrás |
|
Nils Adermann
|
6e81f63635
Reduce memory footprint of rules by storing data in blob
|
há 10 anos atrás |
|
Nils Adermann
|
5b1b96b61e
Output the number of rules used in the solver for profiling purposes
|
há 10 anos atrás |
