Klaus Kaempf [Thu, 14 Feb 2008 13:34:26 +0000 (13:34 +0000)]
TYPE_xxx should be enum, no ?
Klaus Kaempf [Thu, 14 Feb 2008 13:34:06 +0000 (13:34 +0000)]
fix and document parameters of Repokey
Klaus Kaempf [Thu, 14 Feb 2008 12:26:59 +0000 (12:26 +0000)]
make reading attributes optional,
use embedded attrname not an artificial one
Klaus Kaempf [Thu, 14 Feb 2008 12:26:29 +0000 (12:26 +0000)]
add "-h" for help
Klaus Kaempf [Thu, 14 Feb 2008 11:58:19 +0000 (11:58 +0000)]
more flexibility in naming attribute files,
one can even have multiple ones in a single directory now ;-)
Klaus Kaempf [Wed, 13 Feb 2008 14:32:06 +0000 (14:32 +0000)]
add "-h" for help
Klaus Kaempf [Wed, 13 Feb 2008 11:36:22 +0000 (11:36 +0000)]
update to version 0.0.14
now that stuff is building
Klaus Kaempf [Tue, 12 Feb 2008 17:30:38 +0000 (17:30 +0000)]
introduce libappsatsolver
Klaus Kaempf [Tue, 12 Feb 2008 17:28:00 +0000 (17:28 +0000)]
Introduce 'application layer' below sat-solver/applayer.
Primarily for the SWIG bindings, this layer makes using sat-solver a
bit easier by abstracting from sat-solver internals to more
application specific objects.
Klaus Kaempf [Tue, 12 Feb 2008 17:21:15 +0000 (17:21 +0000)]
adapt to reality
Stephan Kulow [Tue, 12 Feb 2008 16:14:02 +0000 (16:14 +0000)]
submit
Stefan Schubert [Tue, 12 Feb 2008 15:21:02 +0000 (15:21 +0000)]
added requirement for libexpat-devel; neede by the tools
Michael Matz [Tue, 12 Feb 2008 10:17:08 +0000 (10:17 +0000)]
Introduce pool->considered. A map to select a subset of solvables for
solving. As with whatprovides this currently lives in the pool and
somewhen should probably be moved with it into Solver.
Stefan Schubert [Tue, 12 Feb 2008 09:42:06 +0000 (09:42 +0000)]
- Moving helix parser to the API
- deptestomatic: Using helix-file for fallback if the solv-file does not
exist.
Michael Matz [Mon, 11 Feb 2008 15:59:27 +0000 (15:59 +0000)]
Make susetags2solv directly read content files, so that we can use its
vendor for the solvables from the packages file. So content2solv isn't
necessary, remove it and its call in repo2solv.sh.
Michael Matz [Mon, 11 Feb 2008 10:40:58 +0000 (10:40 +0000)]
More subtle errors in (up to now) untested code paths, this time dealing
with loading multiple SOLV files with attributes into one repo.
Stephan Kulow [Mon, 11 Feb 2008 09:28:45 +0000 (09:28 +0000)]
new version
Stephan Kulow [Mon, 11 Feb 2008 09:25:14 +0000 (09:25 +0000)]
get rid of -O3 in debug builds
Michael Matz [Mon, 11 Feb 2008 09:15:44 +0000 (09:15 +0000)]
Always initialize outgoing vars (probable cause for zypper crash).
Michael Matz [Mon, 11 Feb 2008 02:38:58 +0000 (02:38 +0000)]
Factor out the filter code in preparation for nicely configuring where
to write which attributes.
Michael Matz [Mon, 11 Feb 2008 02:10:14 +0000 (02:10 +0000)]
Whoops, description and summary are not supposed to be pool strings.
Michael Matz [Mon, 11 Feb 2008 01:57:59 +0000 (01:57 +0000)]
Also fill in description, summary, downloadsize, installsize, build
time, group and license.
Michael Matz [Sun, 10 Feb 2008 23:21:55 +0000 (23:21 +0000)]
Correct mediafile handling (and reindent some lines).
Duncan Mac-Vicar P [Sun, 10 Feb 2008 22:24:08 +0000 (22:24 +0000)]
cleanup
Duncan Mac-Vicar P [Sun, 10 Feb 2008 22:24:05 +0000 (22:24 +0000)]
- store location, dunno why it does not work yet
Duncan Mac-Vicar P [Sun, 10 Feb 2008 22:24:01 +0000 (22:24 +0000)]
compile
Duncan Mac-Vicar P [Sun, 10 Feb 2008 22:23:56 +0000 (22:23 +0000)]
compile
Michael Matz [Sun, 10 Feb 2008 06:09:37 +0000 (06:09 +0000)]
Support for generating separate sub files and bugfixes in the reader
side. Try "susetags2solv -as" to play (e.g. with dumpsolv).
Duncan Mac-Vicar P [Fri, 8 Feb 2008 15:20:09 +0000 (15:20 +0000)]
fix typo, it compiles with or without typo uh?
Michael Matz [Fri, 8 Feb 2008 15:11:44 +0000 (15:11 +0000)]
data can validly be 0, in which case we never have a localpool.
Michael Matz [Thu, 7 Feb 2008 22:35:06 +0000 (22:35 +0000)]
susetags2solv didn't parse multiple patterns since I implemented parsing
two or more packages files :-/
Stephan Kulow [Thu, 7 Feb 2008 17:41:17 +0000 (17:41 +0000)]
0.0.11
Stephan Kulow [Thu, 7 Feb 2008 17:40:19 +0000 (17:40 +0000)]
rename libsatsolver in satsolver-tools
Klaus Kaempf [Thu, 7 Feb 2008 15:35:33 +0000 (15:35 +0000)]
honor Solver.limittokind
Klaus Kaempf [Thu, 7 Feb 2008 09:59:09 +0000 (09:59 +0000)]
prepare limittokind
Stephan Kulow [Thu, 7 Feb 2008 09:23:31 +0000 (09:23 +0000)]
srcpackage_local only works from clean build dir it seems
Stefan Schubert [Thu, 7 Feb 2008 09:20:01 +0000 (09:20 +0000)]
cleanup
Stephan Kulow [Thu, 7 Feb 2008 09:16:44 +0000 (09:16 +0000)]
for the RPM-challenged
Stephan Kulow [Thu, 7 Feb 2008 09:13:23 +0000 (09:13 +0000)]
sync with autobuild
Stephan Kulow [Thu, 7 Feb 2008 09:11:36 +0000 (09:11 +0000)]
let's increase against factory
Klaus Kaempf [Thu, 7 Feb 2008 08:53:19 +0000 (08:53 +0000)]
introduce Solvable.kind to remove the need for strcmp()/strchr() when
accessing the name in libzypp and other applications.
Its also in preparation of per-kind solving (not implemented yet).
The name prefix (e.g. "pattern:") is still kept but only needed for
capability matching. kind is implemented as an offset (unsigned int)
matching the length of the name prefix. Applications can simply use
(solvable.name + solvable.kind) to strip the prefix from the name.
To prevent name clashes, "product:" was renamed to "prod:". Being
seldomly used, this seems to be acceptable.
Missing understandable documentation on the format of .solv files, the
kind value is currently NOT stored but computed on read.
tools/repo_susetags.c is already prepared to write the kind, solv
version6 should support storing kind values in .solv files.
Michael Matz [Wed, 6 Feb 2008 20:13:36 +0000 (20:13 +0000)]
Fix merge_attrs, so that not (e.g.) two medianr attributes show up in
susetags converted solvables using =Shr .
Michael Matz [Wed, 6 Feb 2008 19:55:36 +0000 (19:55 +0000)]
Make mergesolv work again.
Michael Matz [Wed, 6 Feb 2008 19:37:45 +0000 (19:37 +0000)]
Make repo_lookup_num work.
Stefan Schubert [Wed, 6 Feb 2008 10:05:44 +0000 (10:05 +0000)]
Prefer installed solvables first if there are two available with the
same name and evr. Bug#351941
Michael Matz [Wed, 6 Feb 2008 02:30:32 +0000 (02:30 +0000)]
Doesn't segfault anymore.
Duncan Mac-Vicar P [Wed, 6 Feb 2008 02:08:15 +0000 (02:08 +0000)]
expose repo_lookup_str and add lookup_num (nonworking)
Duncan Mac-Vicar P [Wed, 6 Feb 2008 02:08:09 +0000 (02:08 +0000)]
unbreak
Duncan Mac-Vicar P [Wed, 6 Feb 2008 02:08:04 +0000 (02:08 +0000)]
avoid segfault. FIXME please
Michael Matz [Wed, 6 Feb 2008 01:46:44 +0000 (01:46 +0000)]
I understand the solver a bit now , enough to hack around the problem causing
#354404 . See the elaborate comment. No additional test suite errors
(i.e. only those from the disabling of locale/language support).
Michael Andres [Tue, 5 Feb 2008 20:33:39 +0000 (20:33 +0000)]
fix segv when str2id(pool,NULL)
Michael Matz [Tue, 5 Feb 2008 17:34:17 +0000 (17:34 +0000)]
Iterating over the literals of a rule requires setting up the literal
list pointer from rule->d.
Michael Matz [Tue, 5 Feb 2008 14:06:26 +0000 (14:06 +0000)]
Bah, we have to handle the empty string too. Whenever there were empty
strings (STRID_EMPTY), e.g. in s->vendor, the SOLV file was fairly
messed up in subtle ways. This might fix #354404 (at least with this I
can't reproduce it). Probably most SOLV files need to be regenerated.
Stefan Schubert [Mon, 4 Feb 2008 13:41:07 +0000 (13:41 +0000)]
added pool to arguments
Duncan Mac-Vicar P [Fri, 1 Feb 2008 09:11:41 +0000 (09:11 +0000)]
trying to get a translated attribute working
Duncan Mac-Vicar P [Fri, 1 Feb 2008 09:11:35 +0000 (09:11 +0000)]
- unify join and makeevr
Duncan Mac-Vicar P [Thu, 31 Jan 2008 17:54:12 +0000 (17:54 +0000)]
xml store capabilities are parsed now.
next: attributes
Duncan Mac-Vicar P [Thu, 31 Jan 2008 17:54:11 +0000 (17:54 +0000)]
try to move split and join out
support for more attributes of xmlstore
I think I will need to use another strategy for
the capability tag, the stupid state machine cant handle it
Duncan Mac-Vicar P [Thu, 31 Jan 2008 17:54:09 +0000 (17:54 +0000)]
initial support for different kinds and pattern/patch store
tag names.
next: add support for store type of dependencies, which are slightly different
to the yum ones
Michael Schroeder [Wed, 30 Jan 2008 14:56:38 +0000 (14:56 +0000)]
- use namespace instead of solvable for languages
(breaks some test cases, solv files have to be regenerated)
Michael Schroeder [Wed, 30 Jan 2008 12:05:35 +0000 (12:05 +0000)]
- add optimization comment
Michael Schroeder [Wed, 30 Jan 2008 11:17:31 +0000 (11:17 +0000)]
allow empty strings
Michael Schroeder [Wed, 30 Jan 2008 11:17:07 +0000 (11:17 +0000)]
- allow empty string space
Michael Matz [Wed, 30 Jan 2008 02:53:07 +0000 (02:53 +0000)]
Use repodata_merge_attrs to implement =Shr again. Currently suboptimal,
as the blob data isn't shared in the file (the old attribute store
simply copied only ofs/len, the new one creates a new blob for each
reference to the same data snippet).
Michael Matz [Wed, 30 Jan 2008 02:51:16 +0000 (02:51 +0000)]
Split repodata_insert_keyid from repodata_set to create
repodata_merge_attrs.
Michael Matz [Wed, 30 Jan 2008 02:49:45 +0000 (02:49 +0000)]
A subtle but fatal off-by-one.
Michael Matz [Wed, 30 Jan 2008 01:13:11 +0000 (01:13 +0000)]
Storing the schema in front of the incore data releaves us from fiddling
with the entryschema members.
Michael Matz [Wed, 30 Jan 2008 00:14:15 +0000 (00:14 +0000)]
Document repodata_internalize a bit, after understanding what it does :)
Michael Matz [Tue, 29 Jan 2008 23:28:03 +0000 (23:28 +0000)]
I'm fairly sure this is right. Probably untested code path.
Duncan Mac-Vicar P [Tue, 29 Jan 2008 22:34:58 +0000 (22:34 +0000)]
compile
Michael Matz [Tue, 29 Jan 2008 20:55:09 +0000 (20:55 +0000)]
Increment needid[] of the right member.
Michael Andres [Tue, 29 Jan 2008 19:34:46 +0000 (19:34 +0000)]
remove superfluous Pool argument in policy_illegal_ functions
Michael Matz [Tue, 29 Jan 2008 18:51:51 +0000 (18:51 +0000)]
no comment
Michael Matz [Tue, 29 Jan 2008 17:24:52 +0000 (17:24 +0000)]
Small nit.
Michael Schroeder [Tue, 29 Jan 2008 16:57:10 +0000 (16:57 +0000)]
- split assignment to shut up stupid g++ compiler
Michael Schroeder [Tue, 29 Jan 2008 16:14:03 +0000 (16:14 +0000)]
- add key filtering to repo_write
- change repo_write so that it combines all available data
- integrate attr_store into repodata
- write storage parameter with every key, bump solv revision to 5
- don't create system rules for atoms
- change repo_susetags to use repodata interface
Stefan Schubert [Mon, 28 Jan 2008 16:16:52 +0000 (16:16 +0000)]
Added callbacks for policy handling.
Michael Schroeder [Fri, 25 Jan 2008 17:50:39 +0000 (17:50 +0000)]
- add dirpool support
Klaus Kaempf [Fri, 18 Jan 2008 16:21:21 +0000 (16:21 +0000)]
introduce 'Covenants' as a generic representation of 'Locks'
Covenants are bound to the Solver and should be taken into account
when solving.
Still incomplete !
Michael Matz [Thu, 17 Jan 2008 16:28:52 +0000 (16:28 +0000)]
Very subtle sign/zero-extension bug occuring on 64bit.
Michael Schroeder [Tue, 15 Jan 2008 15:37:29 +0000 (15:37 +0000)]
- add dir reading code to solv reader
- change DU skeleton to use new layout
- add new type TYPE_DIR
Michael Matz [Mon, 14 Jan 2008 16:33:13 +0000 (16:33 +0000)]
Let's give fastlz a license, shall we?
Michael Matz [Mon, 14 Jan 2008 16:25:33 +0000 (16:25 +0000)]
It's nicer to represent the special numbers as TYPE_VOID with the actual
value sitting in key->size.
Stephan Kulow [Mon, 14 Jan 2008 16:17:58 +0000 (16:17 +0000)]
package submitted
Stefan Schubert [Mon, 14 Jan 2008 10:52:08 +0000 (10:52 +0000)]
reduced looging
Michael Schroeder [Mon, 14 Jan 2008 10:08:11 +0000 (10:08 +0000)]
- add evrcmp_str for ma
Michael Schroeder [Fri, 11 Jan 2008 20:42:25 +0000 (20:42 +0000)]
- fix support for splitprovides
- add some unfinished code for DU queries
Michael Schroeder [Wed, 9 Jan 2008 19:08:06 +0000 (19:08 +0000)]
- clarify
Stefan Schubert [Wed, 9 Jan 2008 15:59:27 +0000 (15:59 +0000)]
docu added
Michael Schroeder [Wed, 9 Jan 2008 15:32:39 +0000 (15:32 +0000)]
- beautify a bit
Klaus Kaempf [Wed, 9 Jan 2008 13:53:13 +0000 (13:53 +0000)]
Problem.to_s and Decision.to_s
Michael Schroeder [Wed, 9 Jan 2008 11:55:50 +0000 (11:55 +0000)]
- rename xmalloc/... functions to sat_malloc, as we're a
library and mustn't conflict with other libraries
Michael Schroeder [Tue, 8 Jan 2008 18:23:35 +0000 (18:23 +0000)]
- assertify
- add direct decision counter to make reset_solver faster and easier
to understand
Klaus Kaempf [Tue, 8 Jan 2008 16:43:32 +0000 (16:43 +0000)]
fprintf line number immediately before calling abort()
... as an incentive to convert it to a proper solution ;-)
Stephan Kulow [Tue, 8 Jan 2008 15:28:01 +0000 (15:28 +0000)]
sync with autobuild
Stephan Kulow [Tue, 8 Jan 2008 15:02:53 +0000 (15:02 +0000)]
prepare another autobuild round
Michael Schroeder [Mon, 7 Jan 2008 18:51:06 +0000 (18:51 +0000)]
- also push level 1 rules on leanrt stack
- this also fixes a nasty bug where a learnt rule was
not disabled by enabledisablelearntrules()
Klaus Kaempf [Mon, 7 Jan 2008 16:37:01 +0000 (16:37 +0000)]
update to current solver format (data taken from 10.3-i386)
Klaus Kaempf [Mon, 7 Jan 2008 16:36:07 +0000 (16:36 +0000)]
set pool architecture
Klaus Kaempf [Fri, 4 Jan 2008 14:53:05 +0000 (14:53 +0000)]
adapt to swig bindings (incomplete, non-working)