You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

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