summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2009-06-09Added initial Spanish doc translation by Omar Campagne <ocampagne@gmail.com>Jens Seidel9-5/+18545
2009-06-07Log when the resolver starts processing the pending promotions list.Daniel Burrows1-0/+1
2009-06-07Proof-of-concept implementation of dep solver memoization.Daniel Burrows1-4/+27
2009-06-07When dumping solver information, dump the address of the expressions attached...Daniel Burrows1-2/+12
2009-06-07Fix operator< on dep_solvers objects.Daniel Burrows1-5/+1
2009-06-07Be more careful about setting validity conditions on solvers.Daniel Burrows1-6/+13
2009-06-07Implement operator< on dep_solvers structures and on solver_information.Daniel Burrows1-0/+43
2009-06-07Make imm::list iterators proper models of ForwardIterator, suitable for use w...Daniel Burrows1-0/+14
2009-06-07Write an operator< for immlists that is a lexicographical comparison.Daniel Burrows1-0/+8
2009-06-07Don't attempt to track tier validity at the solver level; instead, when a pro...Daniel Burrows4-122/+216
2009-06-07Be careful whenever iterating over a choice-indexed set/map to always put dep...Daniel Burrows1-9/+12
2009-06-07When increasing the tier of a solver, make sure to preserve dependency inform...Daniel Burrows1-1/+1
2009-06-07Better logging of what happens to solver sets.Daniel Burrows1-11/+17
2009-06-06When striking a choice, remove it from the step's index of solvers.Daniel Burrows1-0/+4
2009-06-06Only modify the tier of a solver if it actually changed.Daniel Burrows1-17/+25
2009-06-06Don't try to insert empty promotions into the promotion set.Daniel Burrows1-1/+3
2009-06-06Only apply promotions to all the steps in the graph if they're new.Daniel Burrows1-2/+9
2009-06-06Complain if we actually process a dependency with no solvers.Daniel Burrows1-0/+3
2009-06-06Ensure that the first time we add a successor to a step, we do not update the...Daniel Burrows1-1/+1
2009-06-06Write a simple routine that can be invoked to dump the structure of the searc...Daniel Burrows1-0/+39
2009-06-06Fill in the "reason" field of steps when they're generated.Daniel Burrows1-0/+1
2009-06-06Merge with head.Daniel Burrows8-627/+485
2009-06-06Only generate entries in the global reverse index of steps when a choice is f...Daniel Burrows2-158/+180
2009-06-06Correctly fill in the child link in the parent step when a new step is genera...Daniel Burrows1-0/+2
2009-06-06Add explicit dependencies of resolver test stuff on the resolver headers.Daniel Burrows1-0/+3
2009-06-06When checking whether a choice has a dependency, only do that test for instal...Daniel Burrows1-1/+1
2009-06-06Add support in choice_set for retrieving the choice, if any, that the set con...Daniel Burrows1-3/+29
2009-06-06Add a convenience routine in choice_indexed_map that checks whether a map con...Daniel Burrows1-0/+21
2009-06-06Log a warning when generating successors if the input choice doesn't have a d...Daniel Burrows1-0/+5
2009-06-06When generating successors, refer to the parent by index, not by address.Daniel Burrows1-4/+5
2009-06-06Add a sanity-check to ensure that we don't try to mark a step as a clone of i...Daniel Burrows1-1/+1
2009-06-05More typosChristian Perrier1-3/+3
2009-06-05Put the old handling of "forced" resolutions back in.Daniel Burrows1-46/+65
2009-06-04More logging in the test code.Daniel Burrows1-1/+4
2009-06-04Split the "process a step and generate successors" logic into a separate rout...Daniel Burrows1-72/+80
2009-06-04Don't crash when creating a deferral expression.Daniel Burrows1-1/+2
2009-06-04Only start a new search if nothing has been processed, ever.Daniel Burrows1-4/+3
2009-06-04Don't take into account whether choices have attached dependencies when check...Daniel Burrows1-4/+0
2009-06-04Log at the start of testInitialState.Daniel Burrows1-0/+2
2009-06-04When applying an incipient promotion, use the promotions's choice rather than...Daniel Burrows1-16/+10
2009-06-04Add support for writing a choice_indexed_map to a std::ostream.Daniel Burrows1-1/+43
2009-06-04Slightly more logging of the process of striking a solver from a step.Daniel Burrows1-0/+4
2009-06-04"Bless" solutions that the resolver has decided to return, to prevent them fr...Daniel Burrows3-2/+71
2009-06-04Strip out more old, unused code.Daniel Burrows1-361/+0
2009-06-04Fix operator<< for promotions.Daniel Burrows1-1/+3
2009-06-04Automated merge with http://hg.debian.org/hg/aptitude/headChristian Perrier12-99/+236
2009-06-03Actually store the solver that caused an incipient promotion when we find one.Daniel Burrows1-2/+12
2009-06-03Invoke process_pending_promotions() after adding a new promotion to the globa...Daniel Burrows1-0/+2
2009-06-03Log when we add a full-solution bonus to a step's score.Daniel Burrows1-1/+7
2009-06-03Fix a compile error in process_promotion (s.step_tier vs s.get_tier()).Daniel Burrows1-1/+1