platform/upstream/libsolv.git
17 years ago- changed debug mechanism a bit, it is now part of the pool
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

17 years ago- fix false friend
Michael Schroeder [Wed, 28 Nov 2007 13:48:06 +0000 (13:48 +0000)]
- fix false friend
- fix enum

17 years agofix typo
Klaus Kaempf [Wed, 28 Nov 2007 09:53:44 +0000 (09:53 +0000)]
fix typo

17 years agoadding a callback definition for logging
Stefan Schubert [Tue, 27 Nov 2007 09:53:27 +0000 (09:53 +0000)]
adding a callback definition for logging

17 years agoreplaced printf by a locking function
Stefan Schubert [Mon, 26 Nov 2007 16:36:01 +0000 (16:36 +0000)]
replaced printf by a locking function

17 years agoAdvancing to the next solvable needs to happen a posteriori. Without
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.

17 years agoFix mergesolv for repos with holes.
Michael Matz [Sun, 25 Nov 2007 03:34:37 +0000 (03:34 +0000)]
Fix mergesolv for repos with holes.

17 years agoFix rpmdb2solv, reused solvables must retain their association with the
Michael Matz [Sun, 25 Nov 2007 00:57:09 +0000 (00:57 +0000)]
Fix rpmdb2solv, reused solvables must retain their association with the
repo.

17 years ago- add extra disableupdaterules call to fix core dump
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

17 years agouse SATSOLVER_ prefix in include guards
Michael Andres [Wed, 21 Nov 2007 11:19:46 +0000 (11:19 +0000)]
use SATSOLVER_ prefix in include guards

17 years agoadded Makefile.cvs
Michael Andres [Tue, 20 Nov 2007 15:03:20 +0000 (15:03 +0000)]
added Makefile.cvs

17 years ago- add solvable2str function to make things easier and more flexible
Michael Schroeder [Mon, 19 Nov 2007 15:11:59 +0000 (15:11 +0000)]
- add solvable2str function to make things easier and more flexible

17 years ago- add FOR_REPO_SOLVABLES repo iterator macro
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

17 years ago- some more cleanup
Michael Schroeder [Sat, 17 Nov 2007 19:43:47 +0000 (19:43 +0000)]
- some more cleanup

17 years ago- add problem traversal abstraction functions for schubi
Michael Schroeder [Sat, 17 Nov 2007 19:18:20 +0000 (19:18 +0000)]
- add problem traversal abstraction functions for schubi

17 years ago- changed repo interface a bit, now alloc/free handle repo pointer and
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

17 years ago- move (disabled) into printrule
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

17 years ago- log complete proof
Michael Schroeder [Fri, 16 Nov 2007 22:06:57 +0000 (22:06 +0000)]
- log complete proof

17 years ago- add solvable allocation functions
Michael Schroeder [Fri, 16 Nov 2007 20:11:07 +0000 (20:11 +0000)]
- add solvable allocation functions
- fix bug in rpmid handling

17 years ago- fix memory consumption issue
Michael Schroeder [Fri, 16 Nov 2007 17:33:32 +0000 (17:33 +0000)]
- fix memory consumption issue
- re-indent some schubi code

17 years ago- begone rc_output. and there was much rejoicing.
Michael Schroeder [Fri, 16 Nov 2007 17:25:06 +0000 (17:25 +0000)]
- begone rc_output. and there was much rejoicing.

17 years ago- as we now always keep the learnt rules we can clean up the code
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

17 years agoReduce C&P code by factoring out the uniquifying string pool.
Michael Matz [Fri, 16 Nov 2007 13:48:23 +0000 (13:48 +0000)]
Reduce C&P code by factoring out the uniquifying string pool.

17 years agocomments added
Stefan Schubert [Fri, 16 Nov 2007 13:07:10 +0000 (13:07 +0000)]
comments added

17 years agologging added; fixed output of printdecisions
Stefan Schubert [Fri, 16 Nov 2007 11:44:58 +0000 (11:44 +0000)]
logging added; fixed output of printdecisions

17 years agotesting something
Stephan Kulow [Fri, 16 Nov 2007 11:30:05 +0000 (11:30 +0000)]
testing something

17 years agoadding ruby package
Stephan Kulow [Fri, 16 Nov 2007 11:27:23 +0000 (11:27 +0000)]
adding ruby package

17 years agoupdate for releasing
Stephan Kulow [Fri, 16 Nov 2007 11:22:55 +0000 (11:22 +0000)]
update for releasing

17 years agologging
Stefan Schubert [Fri, 16 Nov 2007 08:27:24 +0000 (08:27 +0000)]
logging

17 years ago- speed solving up a bit by not removing learnt rules if rules get
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

17 years agoadded more comments
Stefan Schubert [Thu, 15 Nov 2007 12:33:35 +0000 (12:33 +0000)]
added more comments

17 years agomerge autobuild sources with SVN
Stephan Kulow [Thu, 15 Nov 2007 11:42:40 +0000 (11:42 +0000)]
merge autobuild sources with SVN

17 years ago- some small beautifications
Michael Schroeder [Wed, 14 Nov 2007 23:22:22 +0000 (23:22 +0000)]
- some small beautifications

17 years ago- allow repositories that don't consist of a single block of solvables
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

17 years agocmake added
Stefan Schubert [Wed, 14 Nov 2007 15:41:59 +0000 (15:41 +0000)]
cmake added

17 years agofurther development
Stefan Schubert [Wed, 14 Nov 2007 15:10:57 +0000 (15:10 +0000)]
further development

17 years agoback to -r7755
Stefan Schubert [Wed, 14 Nov 2007 15:08:27 +0000 (15:08 +0000)]
back to -r7755

17 years agoadded more logging
Stefan Schubert [Wed, 14 Nov 2007 15:05:59 +0000 (15:05 +0000)]
added more logging

17 years agoadded more logging
Stefan Schubert [Wed, 14 Nov 2007 15:05:14 +0000 (15:05 +0000)]
added more logging

17 years ago- delete superfluous debug statements
Michael Schroeder [Wed, 14 Nov 2007 14:36:02 +0000 (14:36 +0000)]
- delete superfluous debug statements

17 years ago- fix schubi's indenting
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

17 years agoand the winner is ...
Klaus Kaempf [Wed, 14 Nov 2007 09:59:28 +0000 (09:59 +0000)]
and the winner is ...

17 years agoprintf fixed
Stefan Schubert [Wed, 14 Nov 2007 09:49:50 +0000 (09:49 +0000)]
printf fixed

17 years agofix to compile
Michael Andres [Tue, 13 Nov 2007 21:06:35 +0000 (21:06 +0000)]
fix to compile

17 years agointeger expected
Stephan Kulow [Tue, 13 Nov 2007 17:40:06 +0000 (17:40 +0000)]
integer expected

17 years agoadded more logging
Stefan Schubert [Tue, 13 Nov 2007 16:46:52 +0000 (16:46 +0000)]
added more logging

17 years ago- cleanup repo handlin API
Michael Schroeder [Tue, 13 Nov 2007 15:59:35 +0000 (15:59 +0000)]
- cleanup repo handlin API

17 years agoadded more logging
Stefan Schubert [Tue, 13 Nov 2007 15:22:44 +0000 (15:22 +0000)]
added more logging

17 years agoDuncan forgot the docu
Stephan Kulow [Tue, 13 Nov 2007 15:15:07 +0000 (15:15 +0000)]
Duncan forgot the docu

17 years ago- make refine_suggestion static again
Michael Schroeder [Mon, 12 Nov 2007 11:24:14 +0000 (11:24 +0000)]
- make refine_suggestion static again
- clean up the code a bit

17 years ago- always refine solutions, put result in problem queue
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

17 years agoInterface to search for strings in attributes.
Michael Matz [Sun, 11 Nov 2007 20:18:58 +0000 (20:18 +0000)]
Interface to search for strings in attributes.

17 years ago- oops, I wonder why the testsuite doesn't catch typos like that...
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...

17 years ago- fix stupid bug
Michael Schroeder [Sat, 10 Nov 2007 23:28:11 +0000 (23:28 +0000)]
- fix stupid bug

17 years ago- moved some policy functions to policy.h
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

17 years agodoc added
Stefan Schubert [Fri, 9 Nov 2007 16:03:43 +0000 (16:03 +0000)]
doc added

17 years agoFix x64_86 build which exits with
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

17 years agoLet's use the really correct specifier :)
Michael Matz [Fri, 9 Nov 2007 12:26:58 +0000 (12:26 +0000)]
Let's use the really correct specifier :)

17 years agomake vintage systems happy too
Klaus Kaempf [Fri, 9 Nov 2007 11:06:48 +0000 (11:06 +0000)]
make vintage systems happy too

17 years agofix the build
Klaus Kaempf [Fri, 9 Nov 2007 10:27:53 +0000 (10:27 +0000)]
fix the build

17 years agorefine_suggestion
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

17 years ago- implement branching and solution callback
Michael Schroeder [Thu, 8 Nov 2007 13:45:37 +0000 (13:45 +0000)]
- implement branching and solution callback

17 years agomake it executable
Stephan Kulow [Thu, 8 Nov 2007 12:10:03 +0000 (12:10 +0000)]
make it executable

17 years agoinstall the tools
Stephan Kulow [Thu, 8 Nov 2007 11:57:32 +0000 (11:57 +0000)]
install the tools

17 years ago- add a license
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

17 years agocompile testsuite only if present
Duncan Mac-Vicar P [Thu, 8 Nov 2007 11:32:57 +0000 (11:32 +0000)]
compile testsuite only if present

17 years ago- move policy-ruby.c into ruby dir
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

17 years agodisable ruby policy because it breaks libzypp
Duncan Mac-Vicar P [Tue, 6 Nov 2007 13:33:16 +0000 (13:33 +0000)]
disable ruby policy because it breaks libzypp

17 years agoFirst try on a (ruby based) policy engine
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

17 years agoAdd my own version of a Lempel-Ziv type compressor, so we can compress
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.

17 years ago- do not be that verbose
Michael Schroeder [Wed, 31 Oct 2007 14:01:35 +0000 (14:01 +0000)]
- do not be that verbose
- format solutions a bit better

17 years ago- fix bug in last bugfix
Michael Schroeder [Wed, 31 Oct 2007 13:46:52 +0000 (13:46 +0000)]
- fix bug in last bugfix
- make suggestions a bit better

17 years ago- allow downgrade for INSTALL_SOLVABLE
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

17 years agoyep, right. DISTVERSION is the same misunderstanding
Stephan Kulow [Wed, 31 Oct 2007 11:43:50 +0000 (11:43 +0000)]
yep, right. DISTVERSION is the same misunderstanding

17 years agofixing misunderstanding
Stephan Kulow [Wed, 31 Oct 2007 08:45:27 +0000 (08:45 +0000)]
fixing misunderstanding

17 years agoThe blobs are now stored and loaded. If the input file for the attr
Michael Matz [Wed, 31 Oct 2007 04:11:20 +0000 (04:11 +0000)]
The blobs are now stored and loaded.  If the input file for the attr
store is seekable we load the blobs on demand, and as we do this in
pages we don't even need much more memory (currently I'm using 4 pages
at 32KB each, so the constant memory overhead for all authors and
descriptions and other blobs is only 128Kb per attr store).  And it
isn't even slow :-)

17 years agoParse also a second packages file (e.g. packages.en) catted to stdin,
Michael Matz [Tue, 30 Oct 2007 21:45:56 +0000 (21:45 +0000)]
Parse also a second packages file (e.g. packages.en) catted to stdin,
so that we can annotate already existing packages, e.g. with summary and
description.  Store authors and description as blobs.

17 years agoWe can create blobs now. But can't yet store them into the file :)
Michael Matz [Tue, 30 Oct 2007 21:42:51 +0000 (21:42 +0000)]
We can create blobs now.  But can't yet store them into the file :)

17 years ago- stuff to discuss
Michael Schroeder [Tue, 30 Oct 2007 18:53:36 +0000 (18:53 +0000)]
- stuff to discuss

17 years ago- add vendor change policy (but fixes no test case, as there is no
Michael Schroeder [Tue, 30 Oct 2007 17:55:35 +0000 (17:55 +0000)]
- add vendor change policy (but fixes no test case, as there is no
  good test case)

17 years ago- add vendor id to solvables
Michael Schroeder [Tue, 30 Oct 2007 11:27:12 +0000 (11:27 +0000)]
- add vendor id to solvables

17 years agoAn iterator over attributes, as GCC scalarizes it the code is equivalent
Michael Matz [Tue, 30 Oct 2007 01:19:17 +0000 (01:19 +0000)]
An iterator over attributes, as GCC scalarizes it the code is equivalent
to hand-written code that doesn't use a structure:

attr_iterator ai;
FOR_ATTRS (store, entry, &ai)
  {
    do_something (ai.name, ai.type);
    switch (ai.type)
    {
      case ATTR_STRING:   ai.as_string; break;
      case ATTR_INT:      ai.as_int;    break;
      case ATTR_LOCALIDS: iterate (ai.as_numlist); break;
    }
  }

17 years agoWrite and read the read-only representation directly.
Michael Matz [Mon, 29 Oct 2007 22:22:59 +0000 (22:22 +0000)]
Write and read the read-only representation directly.

17 years ago- fix last failing testcase classified as bug
Michael Schroeder [Mon, 29 Oct 2007 19:02:15 +0000 (19:02 +0000)]
- fix last failing testcase classified as bug

17 years agoUse Offset instead of unsigned int.
Michael Schroeder [Mon, 29 Oct 2007 17:25:45 +0000 (17:25 +0000)]
Use Offset instead of unsigned int.

17 years ago- rename 'system' repo to 'installed'
Michael Schroeder [Mon, 29 Oct 2007 16:45:27 +0000 (16:45 +0000)]
- rename 'system' repo to 'installed'

17 years ago- rename queue* to queue_*, inline a bit more
Michael Schroeder [Mon, 29 Oct 2007 15:00:30 +0000 (15:00 +0000)]
- rename queue* to queue_*, inline a bit more
- rename map* to map_*

17 years agokeep 'bool'ness in the comment
Klaus Kaempf [Mon, 29 Oct 2007 12:05:53 +0000 (12:05 +0000)]
keep 'bool'ness in the comment

17 years ago- cleanup strange code
Michael Schroeder [Mon, 29 Oct 2007 11:20:32 +0000 (11:20 +0000)]
- cleanup strange code

17 years agoA DWARF like in-memory representation (with abbreviations), which uses
Michael Matz [Mon, 29 Oct 2007 02:39:38 +0000 (02:39 +0000)]
A DWARF like in-memory representation (with abbreviations), which uses
only a quarter of memory for the Attrs itself (i.e. without the string
spaces).

17 years agoStart of an attribute store. It can hold arbitrary attributes for a
Michael Matz [Sun, 28 Oct 2007 23:09:45 +0000 (23:09 +0000)]
Start of an attribute store.  It can hold arbitrary attributes for a
number of entities.  When those are build as mirroring the solvables in
a Repo, we can attach non-solver information to them.  Not yet really
integrated, uses too much in-core memory, and arbitrary blobs are not
yet supported (for descriptions and maybe large author lists).

17 years agomake it debugable - use -DCMAKE_BUILD_TYPE=debug in the cmake call
Stephan Kulow [Sun, 28 Oct 2007 19:06:04 +0000 (19:06 +0000)]
make it debugable - use -DCMAKE_BUILD_TYPE=debug in the cmake call

17 years agocontinue compiling with -Werror
Stephan Kulow [Sun, 28 Oct 2007 19:05:52 +0000 (19:05 +0000)]
continue compiling with -Werror

17 years agodon't play with pointers
Stephan Kulow [Sun, 28 Oct 2007 19:05:49 +0000 (19:05 +0000)]
don't play with pointers

17 years ago- no more bool, too many conflicts
Michael Schroeder [Fri, 26 Oct 2007 23:01:13 +0000 (23:01 +0000)]
- no more bool, too many conflicts
- moved declaration of pool_freerepo to repo.h

17 years ago- move dep2str buffer into pool so that the memory gets released
Michael Schroeder [Fri, 26 Oct 2007 20:42:46 +0000 (20:42 +0000)]
- move dep2str buffer into pool so that the memory gets released
- directly install translation solvables
- some minor code cleanups

17 years agoFix the ruby example, and remove a obsolete one
Duncan Mac-Vicar P [Fri, 26 Oct 2007 20:25:13 +0000 (20:25 +0000)]
Fix the ruby example, and remove a obsolete one

17 years agoto follow SUSE tools conventions
Duncan Mac-Vicar P [Fri, 26 Oct 2007 20:25:08 +0000 (20:25 +0000)]
to follow SUSE tools conventions
Source is now Repo

17 years agofix memory leaks
Stephan Kulow [Fri, 26 Oct 2007 19:08:40 +0000 (19:08 +0000)]
fix memory leaks

17 years ago- install the libraries
Duncan Mac-Vicar P [Fri, 26 Oct 2007 16:50:05 +0000 (16:50 +0000)]
- install the libraries