make testcases debian proof

Add testcases for proof generation

testsolv: Add missing entries to resultflags2str

Revert accidental change when sorting the decicions

This reverts a wrong change from commit 29ebc283f819dc4c24534fa50a62931e262a5c32

Unbreak code to not end a proof with SOLVER_RULE_RPM_SAME_NAME

We broke it with commit f6b47040159e905e62317ef846b26ffcaa8dad8f
when we added the reason to the decisionlist entry but forgot
to adapt the code.

We need to add decisionlist testcases...

getdecisionlist: keep track of all literals from a unit rule

Otherwise, sort_unit_decisions() may not find a unit rule and
go into and endless loop. Before this commit, we left out
conflicted packages to make the decisionlist shorter.

An alternative would be to track those left out literals.

Fixes #558.

luasolv: delete debug line

bindings: implement returnself for lua

And add a warning if the definition is missing for a new language.

Some lua typemap cleanups

Add datamatch.dep attribute support to the bindings

Globally rename __str__ to str for perl and tcl

Globally rename __str__ to to_s for ruby

Add stringification for the solutionelement class

Also globalize some renames.

Merge pull request #557 from dcantrell/uninitialized-structs

Fix a couple small static analysis findings for uninitialized structs

Fix a couple small static analysis findings for uninitialized structs

The memset() on the KeyValue is more explicit even though if you trace
the code you will see it fills out the struct.  However, it's possible
that not every struct member will be initialized and adding the
memset() makes things more obvious and appeases the static analyzer.

The queue_init() appeared to just be missing.

Delete duplicated lines

Add lua to bindings documentation

Add lua bindings

Do __eq__ and __ne__ renaming as global rename for tcl

I didn't know this was possible...

Call appdata_get_helper with a pointer to the appdata

This adds more flexibility to the helper which is needed for the
upcoming lua bindings.

Enable MULTI_SEMANTICS in the spec file

There's no good reason not to do it.

Remove now unused argument

Remove more dead code

Also fulfill the update rule if we did a "special updater" update

Always use PyObject_Call as suggested by Jan Kolarik

PyObject_Call is available since python 2.2

fix last commit

Swig is weird.

Replace deprecated PyEval_CallObject will PyObject_Call when build for python >= 3.0

Fixes issue #551

Add testcase for issue #550

Handle installed packages in three passes

Fixes issue #550

Move special updaters handling into its own function

resolve_installed: remove dead code

Since we simplified our dup handling the update rules always
start with the installed package.

Bring python singlespec nearer to the documentation

Get rid of a couple of time_t uses

We are using our 'unsigned long long' numeric data type anyway
later on.

Add changes, bump version to 0.7.28

Add 'make clean' in singlespec build

This seems to be unneeded as the Makefile written by cmake
automatically detects that it needs to rebuild if a different
python version is used. But just be be on the safe side...

Merge pull request #542 from bluca/typos

Fix various typos found by Lintian

Get rid of cmake warning

Build for multiple python versions for SUSE

Merge pull request #546 from jonashaag/patch-1

Disable choice rules for Conda

Disable choice rules for Conda

Fix various typos found by Lintian

Add changes, bump version to 0.7.27

Further optimize dirpool caching in repo_write

This halves the time to convert the rawhide/Everything repo.

Add license blurb to findfileconflicts tool

Like with all the other tools...

installcheck: use solver_problemruleinfo2str()

No longer use legacy problem types in installcheck

No functual changes.

Rewrite strlen_comp so that it no longer has its own list of compression types

Merge pull request #544 from Vogtinator/zst

installcheck: Support .zst files and fix .lzma

installcheck: Support .zst files and fix .lzma

repo_write: add a small cache for putinowndirpool()

This helps a lot with diskusage data or filelists.

Add changes, bump version to 0.7.26

repo_rpmdb.c: Do not use deprecated headerUnload with newer rpm versions

We check the definition of RPM_MASK_TYPE to find out it rpm is
new enough.

Fix evr roundtrip

Remove the "0:" stripping from the evr in testcase_read. Messing
with the evr is not our business, we need to reproduce the data
as faithful as possible.

Add changes, bump version to 0.7.25

Support rich deps in SOLVABLE_PREREQ_IGNOREINST

Do not minimize from an installed to an uninstalled package when checking recommends

Also prune to installed packages (or their update candidates)
when doing extra reordering, i.e. when the update roles are
not yet resolved.

Fixes issue #539

repo_conda: overwrite the package subdir with the info subdir if there is a conflict

This is what classic conda does, so we also need to do it.
Fixes issue #529

Save memory in repo_updateinfoxml by not interleaving repo_addflexarray calls

Mixing repo_addflexarray calls will make the code moving the arrays
in the idarraydata all the time as it cannot append to the arrays.
So first collect the array contents of the collection flexarray and
then add it in one go.

This is based on pull request #533 by Aleš Matěj <amatej@redhat.com>.

Clean up header files

Move type declarations of Repo/Repodata/Solvable into pooltypes.h.

Merge pull request #530 from AntoinePrv/fix-header

Fix incomplete headers

choice rules: also do solver_choicerulecheck for package downgrades

Fixes issue #514

Fix incomplete headers

Only disable infarch rules on erase if the package was in lock-step

Fiexes issue #528

Allow to break arch lock-step on erase operations

We allow it if SOLVER_SETARCH is (auto-)set in the erase job.

Add 'feature complex_deps' to ifelse_rec.t testcase

Add testcase for last commit

Treat condition both as positive and negative literal in pool_add_pos_literals_complex_dep

That's because (A IF B ELSE C) gets rewritten to (A OR ~B) AND (C OR B) and
(A UNLESS B ELSE C) gets rewritten to (A AND ~B) OR (C AND B). In both
cases we have A, B, ~B, C.

This resolves issue #527

Add changes, bump version to 0.7.24

Add back findutils requires for libsolv-tools

It was deleted by accident in commit 755462c2b06b079f11d431aa44c7a6146cfea424.

Merge pull request #520 from ffontaine/master

Fix build without C++

Merge pull request #521 from AntoinePrv/headers

Fix conda headers

fix: header extern C and guard

Fix build without C++

Fix the following build failure without C++:

CMake Error at CMakeLists.txt:1 (PROJECT):
  No CMAKE_CXX_COMPILER could be found.

  Tell CMake where to find the compiler by setting either the environment
  variable "CXX" or the CMake cache entry CMAKE_CXX_COMPILER to the full path
  to the compiler, or to the compiler name if it is in the PATH.

Fixes:
 - http://autobuild.buildroot.org/results/a7f2176d40f156c319754ef5d3b7fd0decfe754f

Signed-off-by: Fabrice Fontaine <fontaine.fabrice@gmail.com>

Document BPOOL_FLAG_NOWHATPROVIDESAUX and POOL_FLAG_WHATPROVIDESWITHDISABLED

At least in libsolv-bindings...

Use SOLVER_DECISIONLIST_SORTED in showwhy()

Implement decision sorting for package decisionlists

We only sort blocks of unit rule decisions for now.

Support x86_64_v[234] architecture levels

Use pool instread of solv->pool where we can

Use solver_problem2str() convenience function in the demo solver

Move replace solution types from the bindings to the library

This adds two new functions:

solver_all_solutionelements()
return a queue with (type,p,rp) solution triplets.

solver_solutionelementtype2str()
this is similar to solver_solutionelement2str(), but also takes a
type parameter so that the replace types result in different strings.

Make use of the two functions in the example solver to
show how they work.

Fix typo in comment

Split is_obsoleting() from policy_findupdatepackages

This makes the code a bit more readable. Plus, we can reuse
this function in the future.

Merge pull request #516 from hroncok/no_distutils

Python: Remove usage of the deprecated distutils module

Python: Remove usage of the deprecated distutils module

Python 3.12+ no longer has distutils.

See https://peps.python.org/pep-0632/

Fix pool_whatmatchesdep's SOLVABLE_NAME hack

Speed up obsoletes handling in update rule generation a bit

Add testcase for yumobs pruning

Improve pruning of yumobs branches

Add alternative/yumobs.t testcase

Do not report alternatives for yumobs splits

Move alternatives introspection code into decision.c

Add release to obsoletes in the alternative/update.t test

Otherwise it fails on debian.

Require rpm dependencies in alternative/learnt

The pool_dep2str() output depends on the disttype

Add testcases for the alternative introspection

Adapt testcases to the last change

Make use of solver_alternative2str() in testcases

The downside is that only the first ruleinfo is displayed. We'll
see if we need solver_allalternativeinfos...

Handle learnt rules in solver_alternativeinfo()

Swap from/to in the ruleinfo instead of just overwriting

Otherwise we report a wrong providing package.

Update checksum types in bindings documentation

Add changes, bump version to 0.7.23