Klaus Kaempf [Sun, 30 Dec 2007 16:58:01 +0000 (16:58 +0000)]
add Decision (solver result element) and testcase
Klaus Kaempf [Fri, 28 Dec 2007 20:37:05 +0000 (20:37 +0000)]
fix examples/ruby/basic.rb
add create_repo, create_transaction and create_solver to Pool
rename 'erase' to 'remove', its more natural
rename Pool.count_repo to Pool.count_repos
Michael Matz [Fri, 28 Dec 2007 00:05:04 +0000 (00:05 +0000)]
Install content2solv.
Michael Matz [Fri, 28 Dec 2007 00:04:38 +0000 (00:04 +0000)]
Memory efficient representation of the dirtree (important for
unabridged packages.DU). Store and reread the dirtree (in a hacky way,
should use the info block). Make dumpattr show the directory names.
On disk the same info as in my 10.3 packages.DU (1.4MB, 330 KB gzipped)
only takes 146 KB.
Michael Matz [Thu, 27 Dec 2007 21:49:26 +0000 (21:49 +0000)]
No idea why I had this as intlist.
Michael Matz [Thu, 27 Dec 2007 21:44:04 +0000 (21:44 +0000)]
Parse also +Dir:, i.e. the packages.DU file. For now the info is stored
simply as an ATTR_INTLIST and the dirtree isn't saved at all.
Michael Matz [Thu, 27 Dec 2007 21:39:00 +0000 (21:39 +0000)]
Enable ATTR_INTLIST to contain zeros. Use the same encoding as IDARRAY.
Michael Matz [Thu, 27 Dec 2007 20:25:17 +0000 (20:25 +0000)]
Some infrastructure for directory trees.
Michael Matz [Thu, 27 Dec 2007 17:32:46 +0000 (17:32 +0000)]
I'll have a need for inserting substrings into a stringpool.
Duncan Mac-Vicar P [Sat, 22 Dec 2007 17:16:20 +0000 (17:16 +0000)]
fix example broken by module renames
Klaus Kaempf [Sat, 22 Dec 2007 08:17:02 +0000 (08:17 +0000)]
prepare to pass rootdir for reading rpmdb from other directory
(unfinished)
Michael Schroeder [Fri, 21 Dec 2007 18:16:33 +0000 (18:16 +0000)]
- add evrmatch
- first shot at adding file provides
Michael Schroeder [Fri, 21 Dec 2007 14:42:40 +0000 (14:42 +0000)]
- fix bug in repo_addid_dep
- make repo_addid_dep handle different markers, so that we can add
the file provides with SOLVABLE_FILEMARKER
Michael Matz [Fri, 21 Dec 2007 11:58:38 +0000 (11:58 +0000)]
Improve the page eviction a bit.
Add possibility to merge attributes between entities, use it to handle
=Shr susetags headers.
Michael Matz [Fri, 21 Dec 2007 10:13:29 +0000 (10:13 +0000)]
Let's not compare strings in an if-cascade or lookup the same names all
the time.
Michael Schroeder [Thu, 20 Dec 2007 21:30:41 +0000 (21:30 +0000)]
- some bug fixes + stop handling, nothing fancy
Michael Matz [Tue, 18 Dec 2007 21:09:58 +0000 (21:09 +0000)]
One-valued types for media number. They can be encoded in the schema,
no need for storing 1, 2 or 3 all the time.
Michael Schroeder [Tue, 18 Dec 2007 18:39:55 +0000 (18:39 +0000)]
- some more things to think about
Michael Schroeder [Tue, 18 Dec 2007 15:14:36 +0000 (15:14 +0000)]
- do not exit on bad solv files
Michael Schroeder [Mon, 17 Dec 2007 17:53:01 +0000 (17:53 +0000)]
- removed verticals for now to make work easier
- allow NULL idmap
Michael Schroeder [Fri, 14 Dec 2007 20:11:33 +0000 (20:11 +0000)]
- forgot to store start and end of id block
Michael Schroeder [Fri, 14 Dec 2007 20:08:42 +0000 (20:08 +0000)]
- some pieces of code for the unified lookup/search interface
Michael Schroeder [Tue, 11 Dec 2007 13:14:00 +0000 (13:14 +0000)]
- beautify
Michael Matz [Tue, 11 Dec 2007 03:18:57 +0000 (03:18 +0000)]
Handle most of the susetags tags. Major exception is 'Shr', where I'm
still undecided if I want to copy the info verbatim (easier to use), or
if I want to store the reference expecting the users to follow the chain
on his own. packages.DU and filelists not yet handled.
Michael Schroeder [Mon, 10 Dec 2007 20:16:17 +0000 (20:16 +0000)]
- use schema in repodata to make it extendible
Michael Andres [Mon, 10 Dec 2007 15:09:01 +0000 (15:09 +0000)]
include stdio
Michael Schroeder [Mon, 10 Dec 2007 14:58:44 +0000 (14:58 +0000)]
- add evrcmp mode parameter
Michael Matz [Sat, 8 Dec 2007 04:58:04 +0000 (04:58 +0000)]
Pfeww. I'm tired, but now you can add refers from repo SOLV files to
attribute store files. Good night.
(Like so:
% addstore bla.solv ding.attr dong.attr > bla2.solv
% dumpsolv bla2.solv
repo refers to 2 attribute stores:
ding.attr has 4 keys
authors
group
keywords
license
dong.attr has 4 keys
authors
keywords
license
...
)
Michael Matz [Sat, 8 Dec 2007 03:08:32 +0000 (03:08 +0000)]
I'm going to use the file info block real soon now and noticed that
doing it with the schema way brings only hassle for no good. The info
is per file, hence probably the same scheme won't be reused by anything
else. Hence going back to nearly the old way. I do have use for a
counted type, in order to skip safely over unknown entries. Old SOLV
files can be read when they don't have any file info. None should
have.
Michael Matz [Sat, 8 Dec 2007 01:53:58 +0000 (01:53 +0000)]
Also activate paging for embedded attr stores.
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