Michael Matz [Sat, 8 Dec 2007 01:24:52 +0000 (01:24 +0000)]
Pull together attribute store and repo. dumpsolv actually now really
can also show the content of test.attr, yeah.
Michael Matz [Sat, 8 Dec 2007 00:27:17 +0000 (00:27 +0000)]
Let's make it compile, shall we?
Michael Matz [Sat, 8 Dec 2007 00:20:21 +0000 (00:20 +0000)]
Start moving the attribute store into the library.
Michael Matz [Sat, 8 Dec 2007 00:13:26 +0000 (00:13 +0000)]
A helper function for embedded attributes in SOLV files.
Michael Matz [Fri, 7 Dec 2007 22:48:24 +0000 (22:48 +0000)]
Make the attrstore types available generally.
Michael Matz [Fri, 7 Dec 2007 21:50:08 +0000 (21:50 +0000)]
Fiddling with writing without fiddling with reading of course won't
work. :-/
Michael Matz [Fri, 7 Dec 2007 21:43:39 +0000 (21:43 +0000)]
Work around the schema problem for now without changing the SOLV format.
The Repo writer doesn't account the the zero element at schemadata[0],
and starts counting schemas with 0, the attr store reserves schema ID 0
for the empty schema. So the attr store explicitely needs to store that
too, otherwise the repo reader will be confused.
Michael Matz [Fri, 7 Dec 2007 21:21:25 +0000 (21:21 +0000)]
As I don't want to merge and map local strings, I need to write out
the "" too, to be compatible with the SOLV reading code.
Michael Matz [Fri, 7 Dec 2007 21:04:42 +0000 (21:04 +0000)]
Make the attribute names part of the string pool, so we don't have to
store them separately. Now looks even more like a SOLV file.
Stefan Schubert [Fri, 7 Dec 2007 10:28:56 +0000 (10:28 +0000)]
reverted concerning noupdateprovide
Stefan Schubert [Fri, 7 Dec 2007 10:21:50 +0000 (10:21 +0000)]
bugfix if whatprovides,... does not exist
Michael Matz [Fri, 7 Dec 2007 02:01:08 +0000 (02:01 +0000)]
Nearly use the SOLV format for the attribute store. There's a
off-by-one disagreement how to count the schemas, changing that would
require an version bump again, later. The pages and the key names don't
yet fit into the normal SOLV file.
Michael Schroeder [Thu, 6 Dec 2007 18:55:58 +0000 (18:55 +0000)]
added some DEBIAN_SEMANTICS
Stefan Schubert [Thu, 6 Dec 2007 15:39:32 +0000 (15:39 +0000)]
added logging, description
Michael Schroeder [Thu, 6 Dec 2007 13:10:44 +0000 (13:10 +0000)]
- cleanup code a bit
Michael Matz [Thu, 6 Dec 2007 04:40:07 +0000 (04:40 +0000)]
While trying to regenerate the testsuite I noticed that non-unique
depsets happen, so handle them.
Michael Matz [Thu, 6 Dec 2007 03:03:29 +0000 (03:03 +0000)]
prefix-code the string store, difference-code the dependency idarrays.
V1 solv files still can be loaded.
Michael Schroeder [Tue, 4 Dec 2007 17:44:31 +0000 (17:44 +0000)]
- switch to new solv format using schemata
please regenerate all solv files...
- split whatprovides array into whatprovides and whatprovides_rel so
that we can add new ids while keeping the whatprovides information
- start to implement some search/lookup functions in repo.c
needs quite a bit more love...
Stefan Schubert [Fri, 30 Nov 2007 15:02:15 +0000 (15:02 +0000)]
update for libzypp integration
Stephan Kulow [Fri, 30 Nov 2007 11:24:27 +0000 (11:24 +0000)]
I hope that's ok to get the bindings going
Stefan Schubert [Thu, 29 Nov 2007 17:32:59 +0000 (17:32 +0000)]
do not regard recommends of installed items
Michael Schroeder [Thu, 29 Nov 2007 15:03:21 +0000 (15:03 +0000)]
- prefer assertions to make coolo happy
Stefan Schubert [Thu, 29 Nov 2007 10:28:07 +0000 (10:28 +0000)]
bugfix
Michael Schroeder [Thu, 29 Nov 2007 09:42:47 +0000 (09:42 +0000)]
- rename findproblemrule to solver_findproblemrule
Michael Schroeder [Thu, 29 Nov 2007 09:32:47 +0000 (09:32 +0000)]
- make schubi's job much easier by providing nice helper functions
that find and analyze a problem rule
Michael Schroeder [Wed, 28 Nov 2007 16:56:00 +0000 (16:56 +0000)]
- changed debug mechanism a bit, it is now part of the pool
Michael Schroeder [Wed, 28 Nov 2007 13:48:06 +0000 (13:48 +0000)]
- fix false friend
- fix enum
Klaus Kaempf [Wed, 28 Nov 2007 09:53:44 +0000 (09:53 +0000)]
fix typo
Stefan Schubert [Tue, 27 Nov 2007 09:53:27 +0000 (09:53 +0000)]
adding a callback definition for logging
Stefan Schubert [Mon, 26 Nov 2007 16:36:01 +0000 (16:36 +0000)]
replaced printf by a locking function
Michael Matz [Sun, 25 Nov 2007 03:37:25 +0000 (03:37 +0000)]
Advancing to the next solvable needs to happen a posteriori. Without
this we end up with the first solvable being <NULL>, and we miss the
last package.
Michael Matz [Sun, 25 Nov 2007 03:34:37 +0000 (03:34 +0000)]
Fix mergesolv for repos with holes.
Michael Matz [Sun, 25 Nov 2007 00:57:09 +0000 (00:57 +0000)]
Fix rpmdb2solv, reused solvables must retain their association with the
repo.
Michael Schroeder [Thu, 22 Nov 2007 11:56:38 +0000 (11:56 +0000)]
- add extra disableupdaterules call to fix core dump
- fix disabling of conflicting job/system rules
- add printruleclass function
- add some experimental code
Michael Andres [Wed, 21 Nov 2007 11:19:46 +0000 (11:19 +0000)]
use SATSOLVER_ prefix in include guards
Michael Andres [Tue, 20 Nov 2007 15:03:20 +0000 (15:03 +0000)]
added Makefile.cvs
Michael Schroeder [Mon, 19 Nov 2007 15:11:59 +0000 (15:11 +0000)]
- add solvable2str function to make things easier and more flexible
Michael Schroeder [Mon, 19 Nov 2007 10:33:09 +0000 (10:33 +0000)]
- add FOR_REPO_SOLVABLES repo iterator macro
- extend ruby bindings a bit
Michael Schroeder [Sat, 17 Nov 2007 19:43:47 +0000 (19:43 +0000)]
- some more cleanup
Michael Schroeder [Sat, 17 Nov 2007 19:18:20 +0000 (19:18 +0000)]
- add problem traversal abstraction functions for schubi
Michael Schroeder [Sat, 17 Nov 2007 18:26:28 +0000 (18:26 +0000)]
- changed repo interface a bit, now alloc/free handle repo pointer and
nsolvables
- fixed yps and deptestomatic to use new interface
Michael Schroeder [Sat, 17 Nov 2007 17:33:23 +0000 (17:33 +0000)]
- move (disabled) into printrule
- add back deleted line to fix loop
- bring solver back into deterministic state after refining problems
Michael Schroeder [Fri, 16 Nov 2007 22:06:57 +0000 (22:06 +0000)]
- log complete proof
Michael Schroeder [Fri, 16 Nov 2007 20:11:07 +0000 (20:11 +0000)]
- add solvable allocation functions
- fix bug in rpmid handling
Michael Schroeder [Fri, 16 Nov 2007 17:33:32 +0000 (17:33 +0000)]
- fix memory consumption issue
- re-indent some schubi code
Michael Schroeder [Fri, 16 Nov 2007 17:25:06 +0000 (17:25 +0000)]
- begone rc_output. and there was much rejoicing.
Michael Schroeder [Fri, 16 Nov 2007 15:44:39 +0000 (15:44 +0000)]
- as we now always keep the learnt rules we can clean up the code
a bit. this changes the layout of the problem queue again, sorry
schubi
- put unsolvable proof on learnt_pool queue
Michael Matz [Fri, 16 Nov 2007 13:48:23 +0000 (13:48 +0000)]
Reduce C&P code by factoring out the uniquifying string pool.
Stefan Schubert [Fri, 16 Nov 2007 13:07:10 +0000 (13:07 +0000)]
comments added
Stefan Schubert [Fri, 16 Nov 2007 11:44:58 +0000 (11:44 +0000)]
logging added; fixed output of printdecisions
Stephan Kulow [Fri, 16 Nov 2007 11:30:05 +0000 (11:30 +0000)]
testing something
Stephan Kulow [Fri, 16 Nov 2007 11:27:23 +0000 (11:27 +0000)]
adding ruby package
Stephan Kulow [Fri, 16 Nov 2007 11:22:55 +0000 (11:22 +0000)]
update for releasing
Stefan Schubert [Fri, 16 Nov 2007 08:27:24 +0000 (08:27 +0000)]
logging
Michael Schroeder [Thu, 15 Nov 2007 19:24:03 +0000 (19:24 +0000)]
- speed solving up a bit by not removing learnt rules if rules get
disabled
Stefan Schubert [Thu, 15 Nov 2007 12:33:35 +0000 (12:33 +0000)]
added more comments
Stephan Kulow [Thu, 15 Nov 2007 11:42:40 +0000 (11:42 +0000)]
merge autobuild sources with SVN
Michael Schroeder [Wed, 14 Nov 2007 23:22:22 +0000 (23:22 +0000)]
- some small beautifications
Michael Schroeder [Wed, 14 Nov 2007 20:35:50 +0000 (20:35 +0000)]
- allow repositories that don't consist of a single block of solvables
Stefan Schubert [Wed, 14 Nov 2007 15:41:59 +0000 (15:41 +0000)]
cmake added
Stefan Schubert [Wed, 14 Nov 2007 15:10:57 +0000 (15:10 +0000)]
further development
Stefan Schubert [Wed, 14 Nov 2007 15:08:27 +0000 (15:08 +0000)]
back to -r7755
Stefan Schubert [Wed, 14 Nov 2007 15:05:59 +0000 (15:05 +0000)]
added more logging
Stefan Schubert [Wed, 14 Nov 2007 15:05:14 +0000 (15:05 +0000)]
added more logging
Michael Schroeder [Wed, 14 Nov 2007 14:36:02 +0000 (14:36 +0000)]
- delete superfluous debug statements
Michael Schroeder [Wed, 14 Nov 2007 13:24:06 +0000 (13:24 +0000)]
- fix schubi's indenting
- print more info about encountered problems (experimental)
- changes problem format again, sorry schubi
Klaus Kaempf [Wed, 14 Nov 2007 09:59:28 +0000 (09:59 +0000)]
and the winner is ...
Stefan Schubert [Wed, 14 Nov 2007 09:49:50 +0000 (09:49 +0000)]
printf fixed
Michael Andres [Tue, 13 Nov 2007 21:06:35 +0000 (21:06 +0000)]
fix to compile
Stephan Kulow [Tue, 13 Nov 2007 17:40:06 +0000 (17:40 +0000)]
integer expected
Stefan Schubert [Tue, 13 Nov 2007 16:46:52 +0000 (16:46 +0000)]
added more logging
Michael Schroeder [Tue, 13 Nov 2007 15:59:35 +0000 (15:59 +0000)]
- cleanup repo handlin API
Stefan Schubert [Tue, 13 Nov 2007 15:22:44 +0000 (15:22 +0000)]
added more logging
Stephan Kulow [Tue, 13 Nov 2007 15:15:07 +0000 (15:15 +0000)]
Duncan forgot the docu
Michael Schroeder [Mon, 12 Nov 2007 11:24:14 +0000 (11:24 +0000)]
- make refine_suggestion static again
- clean up the code a bit
Michael Schroeder [Mon, 12 Nov 2007 11:11:24 +0000 (11:11 +0000)]
- always refine solutions, put result in problem queue
- do not print result of solving anymore
Michael Matz [Sun, 11 Nov 2007 20:18:58 +0000 (20:18 +0000)]
Interface to search for strings in attributes.
Michael Schroeder [Sat, 10 Nov 2007 23:32:47 +0000 (23:32 +0000)]
- oops, I wonder why the testsuite doesn't catch typos like that...
Michael Schroeder [Sat, 10 Nov 2007 23:28:11 +0000 (23:28 +0000)]
- fix stupid bug
Michael Schroeder [Sat, 10 Nov 2007 22:24:18 +0000 (22:24 +0000)]
- moved some policy functions to policy.h
- rewrote problem handling
- reenable system rules if jobrules get disabled
- some code cleanup
Stefan Schubert [Fri, 9 Nov 2007 16:03:43 +0000 (16:03 +0000)]
doc added
Klaus Kaempf [Fri, 9 Nov 2007 12:38:15 +0000 (12:38 +0000)]
Fix x64_86 build which exits with
/usr/lib64/gcc/x86_64-suse-linux/4.2.1/../../../../x86_64-suse-linux/bin/ld:
/usr/local/src/svn/zypp/trunk/sat-solver/build/src/libsatsolver.a(bitmap.o):
relocation R_X86_64_32 against a local symbol' can not be used when
making a shared object; recompile with -fPIC
/usr/local/src/svn/zypp/trunk/sat-solver/build/src/libsatsolver.a:
could not read symbols: Bad value
Michael Matz [Fri, 9 Nov 2007 12:26:58 +0000 (12:26 +0000)]
Let's use the really correct specifier :)
Klaus Kaempf [Fri, 9 Nov 2007 11:06:48 +0000 (11:06 +0000)]
make vintage systems happy too
Klaus Kaempf [Fri, 9 Nov 2007 10:27:53 +0000 (10:27 +0000)]
fix the build
Stefan Schubert [Thu, 8 Nov 2007 14:55:47 +0000 (14:55 +0000)]
refine_suggestion
archchanges moved to header file. This funktions are needed in libzypp
Michael Schroeder [Thu, 8 Nov 2007 13:45:37 +0000 (13:45 +0000)]
- implement branching and solution callback
Stephan Kulow [Thu, 8 Nov 2007 12:10:03 +0000 (12:10 +0000)]
make it executable
Stephan Kulow [Thu, 8 Nov 2007 11:57:32 +0000 (11:57 +0000)]
install the tools
Michael Schroeder [Thu, 8 Nov 2007 11:37:00 +0000 (11:37 +0000)]
- add a license
- don't branch for supplemented packages
- fix off by one in minimize queue revert code
Duncan Mac-Vicar P [Thu, 8 Nov 2007 11:32:57 +0000 (11:32 +0000)]
compile testsuite only if present
Michael Schroeder [Wed, 7 Nov 2007 16:15:12 +0000 (16:15 +0000)]
- move policy-ruby.c into ruby dir
- fix lock xml parsing in deptestomatic. grrr....
- support multiple verbosity levels
- add experimental minimization feature
- always take first element of prune function to annoy coolo
- sorry, no policy support yet
Duncan Mac-Vicar P [Tue, 6 Nov 2007 13:33:16 +0000 (13:33 +0000)]
disable ruby policy because it breaks libzypp
Klaus Kaempf [Thu, 1 Nov 2007 14:18:46 +0000 (14:18 +0000)]
First try on a (ruby based) policy engine
- src/policy.h: generic policy interface
- src/policy-ruby.c: ruby implementation of policy interface
- testsuite/satsolver_policy.rb: sample policy as ruby code
Michael Matz [Thu, 1 Nov 2007 00:56:14 +0000 (00:56 +0000)]
Add my own version of a Lempel-Ziv type compressor, so we can compress
the blob pages nicely. The compression rate is usually between 60% and
80%, which is good enough for our purposes. In return for that it
decompresses blazingly fast. The thing slowly comes together.
Michael Schroeder [Wed, 31 Oct 2007 14:01:35 +0000 (14:01 +0000)]
- do not be that verbose
- format solutions a bit better
Michael Schroeder [Wed, 31 Oct 2007 13:46:52 +0000 (13:46 +0000)]
- fix bug in last bugfix
- make suggestions a bit better
Michael Schroeder [Wed, 31 Oct 2007 11:54:49 +0000 (11:54 +0000)]
- allow downgrade for INSTALL_SOLVABLE
- add support for "version" in deptestomatic's select_solvable()
- comment to repo_content
Stephan Kulow [Wed, 31 Oct 2007 11:43:50 +0000 (11:43 +0000)]
yep, right. DISTVERSION is the same misunderstanding
Stephan Kulow [Wed, 31 Oct 2007 08:45:27 +0000 (08:45 +0000)]
fixing misunderstanding