| .. |
|
Operation
|
f634c6946d
Update callers of VersionParser::formatVersion()
|
10 years ago |
|
Decisions.php
|
18492a1f84
Remove Pool::getMaxId and the solver's reliance on it
|
13 years ago |
|
DefaultPolicy.php
|
ebfceefca6
Removed long deprecated functions that were no longer referenced anywhere.
|
9 years ago |
|
PolicyInterface.php
|
b059cbe37c
Removed unused variables and includes, fixed functions being called with more arguments than declared.
|
9 years ago |
|
Pool.php
|
623c0dcda7
Improve solver error reporting, fixes #5086, fixes #2575, fixes #2661
|
9 years ago |
|
Problem.php
|
53fc30fe56
clear code
|
9 years ago |
|
Request.php
|
3b0a1c6f70
Run cs fixer and update config to latest master
|
9 years ago |
|
Rule.php
|
53fc30fe56
clear code
|
9 years ago |
|
RuleSet.php
|
961ea868ac
Use an integer bitfield for rule properties instead of a string binary blob
|
10 years ago |
|
RuleSetGenerator.php
|
dfe18d2e7f
Fixed dependency problem caused by pull request #3482
|
11 years ago |
|
RuleSetIterator.php
|
de066de198
Fix for composer. When running update/install command it's just do nothing, except writing "Installing dependencies"
|
13 years ago |
|
RuleWatchChain.php
|
7f9c5ffeef
Add documentation to RuleWatchChain and RuleWatchNode
|
13 years ago |
|
RuleWatchGraph.php
|
ef41f136f8
Literals on rule are now public
|
11 years ago |
|
RuleWatchNode.php
|
ce08582671
Fix CS
|
10 years ago |
|
Solver.php
|
8e78ce9a43
Add extra logging before and after SAT solving
|
9 years ago |
|
SolverBugException.php
|
11c59baf59
Remove useless property in exception class
|
13 years ago |
|
SolverProblemsException.php
|
8d57c3e743
Update SolverProblemsException.php
|
9 years ago |
|
Transaction.php
|
4af74b54e0
Ignore self references when anlaysing independent root requirements
|
9 years ago |
ReenExe
53fc30fe56
clear code