- some small beautifications

- allow repositories that don't consist of a single block of solvables

cmake added

further development

back to -r7755

added more logging

added more logging

- delete superfluous debug statements

- fix schubi's indenting
- print more info about encountered problems (experimental)
- changes problem format again, sorry schubi

and the winner is ...

printf fixed

fix to compile

integer expected

added more logging

- cleanup repo handlin API

added more logging

Duncan forgot the docu

- make refine_suggestion static again
- clean up the code a bit

- always refine solutions, put result in problem queue
- do not print result of solving anymore

Interface to search for strings in attributes.

- oops, I wonder why the testsuite doesn't catch typos like that...

- fix stupid bug

- moved some policy functions to policy.h
- rewrote problem handling
- reenable system rules if jobrules get disabled
- some code cleanup

doc added

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

Let's use the really correct specifier :)

make vintage systems happy too

fix the build

refine_suggestion
archchanges moved to header file. This funktions are needed in libzypp

- implement branching and solution callback

make it executable

install the tools

- add a license
- don't branch for supplemented packages
- fix off by one in minimize queue revert code

compile testsuite only if present

- 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

disable ruby policy because it breaks libzypp

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

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.

- do not be that verbose
- format solutions a bit better

- fix bug in last bugfix
- make suggestions a bit better

- allow downgrade for INSTALL_SOLVABLE
- add support for "version" in deptestomatic's select_solvable()
- comment to repo_content

yep, right. DISTVERSION is the same misunderstanding

fixing misunderstanding

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 :-)

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.

We can create blobs now.  But can't yet store them into the file :)

- stuff to discuss

- add vendor change policy (but fixes no test case, as there is no
  good test case)

- add vendor id to solvables

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;
    }
  }

Write and read the read-only representation directly.

- fix last failing testcase classified as bug

Use Offset instead of unsigned int.

- rename 'system' repo to 'installed'

- rename queue* to queue_*, inline a bit more
- rename map* to map_*

keep 'bool'ness in the comment

- cleanup strange code

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).

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).

make it debugable - use -DCMAKE_BUILD_TYPE=debug in the cmake call

continue compiling with -Werror

don't play with pointers

- no more bool, too many conflicts
- moved declaration of pool_freerepo to repo.h

- move dep2str buffer into pool so that the memory gets released
- directly install translation solvables
- some minor code cleanups

Fix the ruby example, and remove a obsolete one

to follow SUSE tools conventions
Source is now Repo

fix memory leaks

- install the libraries

this is not in old cmake (10.2) add it so it works for everyone

bye autofoo

- iterators for solver decisions

- fix packaging

examples

revert debug

name the enum so I can use it in a typemap

each_solvable in Source almost working

Find libraries, and wrap the ruby native module into a ruby file

- add cmake support
- add ruby bindings

treat 'nothing provides' jobrules in a sane way

- do not add rules that are always fulfilled

- add support for namespace callbacks
- implement rpmlib test in relation expansion
- implement modalias() globbing

- make suggests/enhances first class, needs more rules but it simplifies
  the code and the result is more reliable

- do a better job at presenting a solution
- implement source priorities, first half

- goodbye deps, we no longer need you

- zero first element in idarray just in case
- make runtest compare with solution2 and solution3
- do not add same language solvables multiple times, fixes
  one test case

No need for testing null-ness anymore.

fix compile

- switch dependencies from Id pointers to Offsets

- map locale(xx) to language:xx to be compatible to libzypp
- treat system:modalias() as modalias()

fix compile

- fix idarray overflow checking
- do not create weak rule for packages scheduled for removal
  (fixes one testcase)
- fix some explanations in README.FAILS

- first step in getting rid of dependency pointers:
  store back pointer to source in Solvable.

make it compile on 64bit

- add experimental weak rules support, solver tries a bit harder to
  fulfill them

- beautify a bit

fixed mean bug in an optimization of addrule:

Differ between binary rules and non-binary rules
with one literal (e.g. two kernels)
(fixed 5 test cases)

Now that I can read content files, let's use that.

content2solv: a parser for the content file of Yast2 repos.  Generates
a SOLV with only one solvable, the product.

I need C++ here too.

don't crash too often