projects
/
platform
/
upstream
/
libzypp.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
rename packages works for update now
[platform/upstream/libzypp.git]
/
zypp
/
sat
/
SATResolver.cc
2008-02-14
Stefan Schubert
rename packages works for update now
blob
|
commitdiff
|
raw
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-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
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
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
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