projects
/
platform
/
upstream
/
libzypp.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
backup
[platform/upstream/libzypp.git]
/
zypp
/
sat
/
2007-12-07
Michael Andres
backup
tree
|
commitdiff
2007-12-07
Michael Andres
libsatsolver now invalidates and rebuilds whatprovides...
tree
|
commitdiff
2007-12-04
Stefan Schubert
text fixed
tree
|
commitdiff
2007-12-04
Stefan Schubert
logging with YaST enabled
tree
|
commitdiff
2007-12-03
Stefan Schubert
bugfix while deleting patterns, improved errormessages
tree
|
commitdiff
2007-12-03
Stefan Schubert
whatprovides will be reset; do not know why
tree
|
commitdiff
2007-12-03
Stefan Schubert
further error handling
tree
|
commitdiff
2007-11-30
Stefan Schubert
bugfix in a delete request
tree
|
commitdiff
2007-11-30
Stefan Schubert
bugfix for taking solutions
tree
|
commitdiff
2007-11-30
Stefan Schubert
improved output of the SAT solver
tree
|
commitdiff
2007-11-30
Stefan Schubert
added new interface for solution
tree
|
commitdiff
2007-11-29
Stefan Schubert
errormessage enabled for SAT solver
tree
|
commitdiff
2007-11-29
Stefan Schubert
bugfixes
tree
|
commitdiff
2007-11-29
Michael Andres
add @system repo
tree
|
commitdiff
2007-11-29
Michael Andres
set default pool architecture to ZConfig value
tree
|
commitdiff
2007-11-29
Stefan Schubert
bugfix
tree
|
commitdiff
2007-11-29
Stefan Schubert
using defines; nice debug status :-)
tree
|
commitdiff
2007-11-29
Stefan Schubert
addapted to new sat debug
tree
|
commitdiff
2007-11-29
Stefan Schubert
removed verbose flag
tree
|
commitdiff
2007-11-28
Michael Andres
update satpool housekeeping data after sync.
tree
|
commitdiff
2007-11-28
Stefan Schubert
some bugfixes, loggings
tree
|
commitdiff
2007-11-28
Stefan Schubert
API for SAT solver added
tree
|
commitdiff
2007-11-28
Michael Andres
backup
tree
|
commitdiff
2007-11-27
Stefan Schubert
get_poolItem replaced by pool.find (sat::Solvable)
tree
|
commitdiff
2007-11-27
Stefan Schubert
using satSolvable().id() for getting SAT IDs
tree
|
commitdiff
2007-11-27
Michael Andres
move libsatsolvber debug output handling to sat::detail...
tree
|
commitdiff
2007-11-27
Stefan Schubert
sat_logging added
tree
|
commitdiff
2007-11-27
Michael Andres
backup
tree
|
commitdiff
2007-11-23
Michael Andres
backup
tree
|
commitdiff
2007-11-23
Stefan Schubert
taking new API for resolver-problems-solutions
tree
|
commitdiff
2007-11-18
Stephan Kulow
fix compile
tree
|
commitdiff
2007-11-15
Michael Andres
backup
tree
|
commitdiff
2007-11-14
Michael Andres
adapt to changed satsolver api
tree
|
commitdiff
2007-11-13
Michael Andres
backup
tree
|
commitdiff
2007-11-13
Stefan Schubert
does not fit to current SAT solver
tree
|
commitdiff
2007-11-08
Stefan Schubert
Error handling added.
tree
|
commitdiff
2007-11-05
Michael Andres
adapt to changed libsatsolver API
tree
|
commitdiff
2007-10-29
Michael Andres
adapt to satsolver API changes
tree
|
commitdiff
2007-10-25
Stefan Schubert
remove pool_source
tree
|
commitdiff
2007-10-25
Stefan Schubert
copying result back to zypp pool
tree
|
commitdiff
2007-10-25
Stefan Schubert
generate queue
tree
|
commitdiff
2007-10-23
Stefan Schubert
added parameter SATpool
tree
|
commitdiff
2007-10-23
Stefan Schubert
mainframe for SAT-sovler
tree
|
commitdiff