projects
/
platform
/
upstream
/
libzypp.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
logging solver settings before solving
[platform/upstream/libzypp.git]
/
zypp
/
sat
/
SATResolver.cc
2008-04-03
Stefan Schubert
logging solver settings before solving
blob
|
commitdiff
|
raw
2008-04-02
Stefan Schubert
- Moved poolItem.status().isSatisfied(),.... to poolIte...
blob
|
commitdiff
|
raw
|
diff to current
2008-03-31
Stefan Schubert
added doUpdate( ) which Update to newest packages
blob
|
commitdiff
|
raw
|
diff to current
2008-03-28
Stefan Schubert
flag if the solver regards required packages only
blob
|
commitdiff
|
raw
|
diff to current
2008-03-27
Stefan Schubert
regarding recommend/suggest settings from the SAT-solver
blob
|
commitdiff
|
raw
|
diff to current
2008-03-17
Michael Andres
remove obsolete capability handling stuff
blob
|
commitdiff
|
raw
|
diff to current
2008-03-06
Stefan Schubert
do NOT ignore sat solver settings
blob
|
commitdiff
|
raw
|
diff to current
2008-03-04
Stefan Schubert
improve problem solution if a requirement cannot be...
blob
|
commitdiff
|
raw
|
diff to current
2008-03-04
Stefan Schubert
improved output of vendor change solution #362985
blob
|
commitdiff
|
raw
|
diff to current
2008-02-29
Stefan Schubert
libzypp Repository class has been exchanged by the...
blob
|
commitdiff
|
raw
|
diff to current
2008-02-27
Stefan Schubert
Moving sat-repo to official libzypp-repo; PART 1
blob
|
commitdiff
|
raw
|
diff to current
2008-02-26
Stefan Schubert
reduced logging
blob
|
commitdiff
|
raw
|
diff to current
2008-02-20
Stefan Schubert
- regarding language dependencies while update correctly
blob
|
commitdiff
|
raw
|
diff to current
2008-02-18
Stefan Schubert
generating testcase only if ZYPP_FULLLOG is set
blob
|
commitdiff
|
raw
|
diff to current
2008-02-15
Stefan Schubert
move check of installed items to distupgrade
blob
|
commitdiff
|
raw
|
diff to current
2008-02-15
Stefan Schubert
do not file a delete request for an updated item
blob
|
commitdiff
|
raw
|
diff to current
2008-02-15
Stephan Kulow
move into trunk
blob
|
commitdiff
|
raw
|
diff to current
2008-02-14
Stefan Schubert
rename packages works for update now
blob
|
commitdiff
|
raw
|
diff to current
2008-02-12
Michael Andres
pool iterator fixes
blob
|
commitdiff
|
raw
|
diff to current
2008-02-11
Stefan Schubert
cleanup; generate control file
blob
|
commitdiff
|
raw
|
diff to current
2008-02-08
Stefan Schubert
generating testcase BEFORE staring the solver
blob
|
commitdiff
|
raw
|
diff to current
2008-02-05
Stefan Schubert
Do not remove a package explicit if this will be update...
blob
|
commitdiff
|
raw
|
diff to current
2008-02-04
Michael Andres
remove Language and Selection
blob
|
commitdiff
|
raw
|
diff to current
2008-02-04
Stefan Schubert
added vendorcallback for SAT solver
blob
|
commitdiff
|
raw
|
diff to current
2008-01-30
Stefan Schubert
fixed wrong parameters
blob
|
commitdiff
|
raw
|
diff to current
2008-01-30
Stefan Schubert
removed setdirty
blob
|
commitdiff
|
raw
|
diff to current
2008-01-29
Michael Andres
adapt to new libsatsolver api
blob
|
commitdiff
|
raw
|
diff to current
2008-01-29
Michael Andres
- Prepare ResPool being a singleton ontop of sat::Pool.
blob
|
commitdiff
|
raw
|
diff to current
2008-01-25
Stefan Schubert
regarding SAT settings
blob
|
commitdiff
|
raw
|
diff to current
2008-01-25
Stefan Schubert
fixed error message
blob
|
commitdiff
|
raw
|
diff to current
2008-01-24
Stefan Schubert
setting SAT-solver flags for update and verify
blob
|
commitdiff
|
raw
|
diff to current
2008-01-24
Stefan Schubert
-cleanup
blob
|
commitdiff
|
raw
|
diff to current
2008-01-24
Michael Andres
Removed dummy satSolvable id in PoolItem as ResObject...
blob
|
commitdiff
|
raw
|
diff to current
2008-01-24
Stefan Schubert
generating a testcase BEFORE updating the system; compr...
blob
|
commitdiff
|
raw
|
diff to current
2008-01-24
Stefan Schubert
- improved error messages
blob
|
commitdiff
|
raw
|
diff to current
2008-01-21
Michael Andres
Removed obsolete files and classes.
blob
|
commitdiff
|
raw
|
diff to current
2008-01-21
Stefan Schubert
generating testcase while every run (only the task)
blob
|
commitdiff
|
raw
|
diff to current
2008-01-17
Stefan Schubert
enabled locking in SAT solver
blob
|
commitdiff
|
raw
|
diff to current
2008-01-15
Stefan Schubert
enable require,conflicts jobs in the SAT-solver
blob
|
commitdiff
|
raw
|
diff to current
2008-01-14
Stefan Schubert
changed problem text
blob
|
commitdiff
|
raw
|
diff to current
2008-01-14
Stefan Schubert
ordering combiSolutions
blob
|
commitdiff
|
raw
|
diff to current
2008-01-12
Stephan Kulow
avoid double negation, I hope that's fine
blob
|
commitdiff
|
raw
|
diff to current
2008-01-10
Stefan Schubert
Checking delete request if the reason for is an update...
blob
|
commitdiff
|
raw
|
diff to current
2008-01-09
Stefan Schubert
wrong solution action for -do not install solvable-
blob
|
commitdiff
|
raw
|
diff to current
2007-12-10
Michael Andres
adapt to libsatsolver changes
blob
|
commitdiff
|
raw
|
diff to current
2007-12-04
Stefan Schubert
text fixed
blob
|
commitdiff
|
raw
|
diff to current
2007-12-03
Stefan Schubert
bugfix while deleting patterns, improved errormessages
blob
|
commitdiff
|
raw
|
diff to current
2007-12-03
Stefan Schubert
whatprovides will be reset; do not know why
blob
|
commitdiff
|
raw
|
diff to current
2007-12-03
Stefan Schubert
further error handling
blob
|
commitdiff
|
raw
|
diff to current
2007-11-30
Stefan Schubert
bugfix in a delete request
blob
|
commitdiff
|
raw
|
diff to current
2007-11-30
Stefan Schubert
bugfix for taking solutions
blob
|
commitdiff
|
raw
|
diff to current
2007-11-30
Stefan Schubert
improved output of the SAT solver
blob
|
commitdiff
|
raw
|
diff to current
2007-11-30
Stefan Schubert
added new interface for solution
blob
|
commitdiff
|
raw
|
diff to current
2007-11-29
Stefan Schubert
errormessage enabled for SAT solver
blob
|
commitdiff
|
raw
|
diff to current
2007-11-29
Stefan Schubert
bugfixes
blob
|
commitdiff
|
raw
|
diff to current
2007-11-29
Stefan Schubert
removed verbose flag
blob
|
commitdiff
|
raw
|
diff to current
2007-11-28
Stefan Schubert
some bugfixes, loggings
blob
|
commitdiff
|
raw
|
diff to current
2007-11-28
Stefan Schubert
API for SAT solver added
blob
|
commitdiff
|
raw
|
diff to current
2007-11-27
Stefan Schubert
get_poolItem replaced by pool.find (sat::Solvable)
blob
|
commitdiff
|
raw
|
diff to current
2007-11-27
Stefan Schubert
using satSolvable().id() for getting SAT IDs
blob
|
commitdiff
|
raw
|
diff to current
2007-11-27
Michael Andres
move libsatsolvber debug output handling to sat::detail...
blob
|
commitdiff
|
raw
|
diff to current
2007-11-27
Stefan Schubert
sat_logging added
blob
|
commitdiff
|
raw
|
diff to current
2007-11-23
Stefan Schubert
taking new API for resolver-problems-solutions
blob
|
commitdiff
|
raw
|
diff to current
2007-11-13
Stefan Schubert
does not fit to current SAT solver
blob
|
commitdiff
|
raw
|
diff to current
2007-11-08
Stefan Schubert
Error handling added.
blob
|
commitdiff
|
raw
|
diff to current
2007-11-05
Michael Andres
adapt to changed libsatsolver API
blob
|
commitdiff
|
raw
|
diff to current
2007-10-29
Michael Andres
adapt to satsolver API changes
blob
|
commitdiff
|
raw
|
diff to current
2007-10-25
Stefan Schubert
remove pool_source
blob
|
commitdiff
|
raw
|
diff to current
2007-10-25
Stefan Schubert
copying result back to zypp pool
blob
|
commitdiff
|
raw
|
diff to current
2007-10-25
Stefan Schubert
generate queue
blob
|
commitdiff
|
raw
|
diff to current
2007-10-23
Stefan Schubert
added parameter SATpool
blob
|
commitdiff
|
raw
|
diff to current
2007-10-23
Stefan Schubert
mainframe for SAT-sovler
blob
|
commitdiff
|
raw
|
diff to current