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
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 :-)
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.
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 :)
Michael Schroeder [Tue, 30 Oct 2007 18:53:36 +0000 (18:53 +0000)]
- stuff to discuss
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)
Michael Schroeder [Tue, 30 Oct 2007 11:27:12 +0000 (11:27 +0000)]
- add vendor id to solvables
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;
}
}
Michael Matz [Mon, 29 Oct 2007 22:22:59 +0000 (22:22 +0000)]
Write and read the read-only representation directly.
Michael Schroeder [Mon, 29 Oct 2007 19:02:15 +0000 (19:02 +0000)]
- fix last failing testcase classified as bug
Michael Schroeder [Mon, 29 Oct 2007 17:25:45 +0000 (17:25 +0000)]
Use Offset instead of unsigned int.
Michael Schroeder [Mon, 29 Oct 2007 16:45:27 +0000 (16:45 +0000)]
- rename 'system' repo to 'installed'
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_*
Klaus Kaempf [Mon, 29 Oct 2007 12:05:53 +0000 (12:05 +0000)]
keep 'bool'ness in the comment
Michael Schroeder [Mon, 29 Oct 2007 11:20:32 +0000 (11:20 +0000)]
- cleanup strange code
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).
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).
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
Stephan Kulow [Sun, 28 Oct 2007 19:05:52 +0000 (19:05 +0000)]
continue compiling with -Werror
Stephan Kulow [Sun, 28 Oct 2007 19:05:49 +0000 (19:05 +0000)]
don't play with pointers
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
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
Duncan Mac-Vicar P [Fri, 26 Oct 2007 20:25:13 +0000 (20:25 +0000)]
Fix the ruby example, and remove a obsolete one
Duncan Mac-Vicar P [Fri, 26 Oct 2007 20:25:08 +0000 (20:25 +0000)]
to follow SUSE tools conventions
Source is now Repo
Stephan Kulow [Fri, 26 Oct 2007 19:08:40 +0000 (19:08 +0000)]
fix memory leaks
Duncan Mac-Vicar P [Fri, 26 Oct 2007 16:50:05 +0000 (16:50 +0000)]
- install the libraries
Duncan Mac-Vicar P [Fri, 26 Oct 2007 14:35:30 +0000 (14:35 +0000)]
this is not in old cmake (10.2) add it so it works for everyone
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:26 +0000 (13:57 +0000)]
bye autofoo
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:24 +0000 (13:57 +0000)]
- iterators for solver decisions
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:22 +0000 (13:57 +0000)]
- fix packaging
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:21 +0000 (13:57 +0000)]
examples
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:18 +0000 (13:57 +0000)]
revert debug
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:16 +0000 (13:57 +0000)]
name the enum so I can use it in a typemap
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:13 +0000 (13:57 +0000)]
each_solvable in Source almost working
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:11 +0000 (13:57 +0000)]
Find libraries, and wrap the ruby native module into a ruby file
Duncan Mac-Vicar P [Fri, 26 Oct 2007 13:57:08 +0000 (13:57 +0000)]
- add cmake support
- add ruby bindings
Michael Schroeder [Fri, 26 Oct 2007 11:00:22 +0000 (11:00 +0000)]
treat 'nothing provides' jobrules in a sane way
Michael Schroeder [Thu, 25 Oct 2007 17:18:26 +0000 (17:18 +0000)]
- do not add rules that are always fulfilled
Michael Schroeder [Thu, 25 Oct 2007 16:42:16 +0000 (16:42 +0000)]
- add support for namespace callbacks
- implement rpmlib test in relation expansion
- implement modalias() globbing
Michael Schroeder [Thu, 25 Oct 2007 14:23:28 +0000 (14:23 +0000)]
- make suggests/enhances first class, needs more rules but it simplifies
the code and the result is more reliable
Michael Schroeder [Wed, 24 Oct 2007 22:01:26 +0000 (22:01 +0000)]
- do a better job at presenting a solution
- implement source priorities, first half
Michael Schroeder [Wed, 24 Oct 2007 10:46:09 +0000 (10:46 +0000)]
- goodbye deps, we no longer need you
Michael Schroeder [Wed, 24 Oct 2007 09:59:42 +0000 (09:59 +0000)]
- 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
Michael Matz [Tue, 23 Oct 2007 17:57:17 +0000 (17:57 +0000)]
No need for testing null-ness anymore.
Stephan Kulow [Tue, 23 Oct 2007 17:13:50 +0000 (17:13 +0000)]
fix compile
Michael Schroeder [Tue, 23 Oct 2007 15:24:36 +0000 (15:24 +0000)]
- switch dependencies from Id pointers to Offsets
Michael Schroeder [Tue, 23 Oct 2007 12:40:00 +0000 (12:40 +0000)]
- map locale(xx) to language:xx to be compatible to libzypp
- treat system:modalias() as modalias()
Stephan Kulow [Tue, 23 Oct 2007 08:07:55 +0000 (08:07 +0000)]
fix compile
Michael Schroeder [Mon, 22 Oct 2007 18:50:33 +0000 (18:50 +0000)]
- fix idarray overflow checking
- do not create weak rule for packages scheduled for removal
(fixes one testcase)
- fix some explanations in README.FAILS
Michael Schroeder [Mon, 22 Oct 2007 18:01:35 +0000 (18:01 +0000)]
- first step in getting rid of dependency pointers:
store back pointer to source in Solvable.
Klaus Kaempf [Mon, 22 Oct 2007 15:25:04 +0000 (15:25 +0000)]
make it compile on 64bit
Michael Schroeder [Mon, 22 Oct 2007 14:39:00 +0000 (14:39 +0000)]
- add experimental weak rules support, solver tries a bit harder to
fulfill them
Michael Schroeder [Mon, 22 Oct 2007 10:19:55 +0000 (10:19 +0000)]
- beautify a bit
Stephan Kulow [Sun, 21 Oct 2007 07:35:23 +0000 (07:35 +0000)]
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)
Michael Matz [Sat, 20 Oct 2007 16:43:57 +0000 (16:43 +0000)]
Now that I can read content files, let's use that.
Michael Matz [Sat, 20 Oct 2007 16:32:08 +0000 (16:32 +0000)]
content2solv: a parser for the content file of Yast2 repos. Generates
a SOLV with only one solvable, the product.
Michael Matz [Sat, 20 Oct 2007 16:30:36 +0000 (16:30 +0000)]
I need C++ here too.
Stephan Kulow [Fri, 19 Oct 2007 21:01:30 +0000 (21:01 +0000)]
don't crash too often
Stephan Kulow [Fri, 19 Oct 2007 20:39:17 +0000 (20:39 +0000)]
trying to mimic the libzypp handling of kernel deps - first step