 Adrien Brault
|
4263fe9255
Fix Solver CS
|
13 年之前 |
 Nils Adermann
|
cc7632489d
Make problem report messages more readable
|
13 年之前 |
|
Nils Adermann
|
12abff8b4c
Simplify branch handling code
|
13 年之前 |
|
Nils Adermann
|
5b1a48663e
DecisionQueueFree is no longer needed
|
13 年之前 |
|
Nils Adermann
|
2fbc04b950
Make decisions countable and use foreach to iterate them in solver
|
13 年之前 |
|
Nils Adermann
|
d592c0a55e
Remove only branches on right levels in revert
|
13 年之前 |
|
Nils Adermann
|
ac762ba6e9
Correctly resolve branches if necessary
|
13 年之前 |
|
Nils Adermann
|
67fde90666
Correctly sort operations within transactions using DFS
|
13 年之前 |
|
Nils Adermann
|
26e051cb76
Decisions are now encapsulated in a separate object
|
13 年之前 |
 Jordi Boggiano
|
1bd4ccbd54
php-cs-fixer magic
|
13 年之前 |
|
Nils Adermann
|
21c7e219e2
Change "else if" to "elseif"
|
13 年之前 |
|
Nils Adermann
|
99200af51b
Correctly indent break statements
|
13 年之前 |
|
Nils Adermann
|
76d3950992
Document the RuleWatchGraph
|
13 年之前 |
|
Nils Adermann
|
2dfea8a5e0
Only consider undecided literals for selectAndInstall
|
13 年之前 |
|
Nils Adermann
|
dd527a4049
Remove weak rules
|
13 年之前 |
|
Nils Adermann
|
025581b365
Rename walkLiteral method to more explicitly say what it does
|
13 年之前 |
|
Nils Adermann
|
451bab1c2c
Get rid of Literal object / literal id mix, use literals only to save memory
|
13 年之前 |
|
Nils Adermann
|
731a451dfe
Move handling of watch graph to separate classes
|
13 年之前 |
|
Nils Adermann
|
71ee5c8f4c
We don't have a systemsolvable at the lowest level
|
13 年之前 |
|
Nils Adermann
|
286593cf99
Move solver debugging code into solver subclass
|
13 年之前 |
|
Nils Adermann
|
46e4ae0e6a
Move rule generation from solver into separate rule set generator
|
13 年之前 |
|
Nils Adermann
|
70e306f055
Process all jobs in one method and remove lock jobs which are not used
|
13 年之前 |
|
Nils Adermann
|
3fcd042fd4
Skip adding (ignored) duplicate rules which were already added
|
13 年之前 |
|
Nils Adermann
|
1d60ae1bfc
We no longer support recommended packages, remove left over code
|
13 年之前 |
|
Nils Adermann
|
92ecf5a603
Remove unused variables
|
13 年之前 |
|
Nils Adermann
|
bd66c27ff6
We mark packages as uninstallable by removing them from the repo
|
13 年之前 |
|
Nils Adermann
|
8fc09afbae
Move transaction generation to a separate class
|
13 年之前 |
|
Nils Adermann
|
37d271271d
Turn assertions into solver bug exceptions with more info
|
13 年之前 |
|
Nils Adermann
|
0c1944a9d0
Let the solver handle aliases instead of the installer
|
13 年之前 |
|
Nils Adermann
|
15f43571b9
Rules of type feature are no longer needed
|
13 年之前 |
