]> git.ipfire.org Git - thirdparty/libsolv.git/log
thirdparty/libsolv.git
16 months agoFix a couple small static analysis findings for uninitialized structs 557/head
David Cantrell [Tue, 26 Mar 2024 16:13:55 +0000 (12:13 -0400)] 
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.

16 months agoDelete duplicated lines
Michael Schroeder [Mon, 25 Mar 2024 12:06:10 +0000 (13:06 +0100)] 
Delete duplicated lines

16 months agoAdd lua to bindings documentation
Michael Schroeder [Mon, 25 Mar 2024 12:03:01 +0000 (13:03 +0100)] 
Add lua to bindings documentation

16 months agoAdd lua bindings
Michael Schroeder [Mon, 25 Mar 2024 11:38:34 +0000 (12:38 +0100)] 
Add lua bindings

16 months agoDo __eq__ and __ne__ renaming as global rename for tcl
Michael Schroeder [Mon, 25 Mar 2024 10:41:24 +0000 (11:41 +0100)] 
Do __eq__ and __ne__ renaming as global rename for tcl

I didn't know this was possible...

16 months agoCall appdata_get_helper with a pointer to the appdata
Michael Schroeder [Mon, 25 Mar 2024 10:35:32 +0000 (11:35 +0100)] 
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.

17 months agoEnable MULTI_SEMANTICS in the spec file
Michael Schroeder [Thu, 15 Feb 2024 10:01:06 +0000 (11:01 +0100)] 
Enable MULTI_SEMANTICS in the spec file

There's no good reason not to do it.

17 months agoRemove now unused argument
Michael Schroeder [Wed, 14 Feb 2024 09:34:57 +0000 (10:34 +0100)] 
Remove now unused argument

17 months agoRemove more dead code
Michael Schroeder [Wed, 14 Feb 2024 09:31:33 +0000 (10:31 +0100)] 
Remove more dead code

17 months agoAlso fulfill the update rule if we did a "special updater" update
Michael Schroeder [Wed, 14 Feb 2024 09:24:47 +0000 (10:24 +0100)] 
Also fulfill the update rule if we did a "special updater" update

17 months agoAlways use PyObject_Call as suggested by Jan Kolarik
Michael Schroeder [Tue, 13 Feb 2024 15:33:48 +0000 (16:33 +0100)] 
Always use PyObject_Call as suggested by Jan Kolarik

PyObject_Call is available since python 2.2

17 months agofix last commit
Michael Schroeder [Tue, 13 Feb 2024 15:13:52 +0000 (16:13 +0100)] 
fix last commit

Swig is weird.

17 months agoReplace deprecated PyEval_CallObject will PyObject_Call when build for python >= 3.0
Michael Schroeder [Tue, 13 Feb 2024 15:02:50 +0000 (16:02 +0100)] 
Replace deprecated PyEval_CallObject will PyObject_Call when build for python >= 3.0

Fixes issue #551

17 months agoAdd testcase for issue #550
Michael Schroeder [Tue, 13 Feb 2024 14:26:28 +0000 (15:26 +0100)] 
Add testcase for issue #550

17 months agoHandle installed packages in three passes
Michael Schroeder [Tue, 13 Feb 2024 14:25:47 +0000 (15:25 +0100)] 
Handle installed packages in three passes

Fixes issue #550

17 months agoMove special updaters handling into its own function
Michael Schroeder [Tue, 13 Feb 2024 13:42:25 +0000 (14:42 +0100)] 
Move special updaters handling into its own function

17 months agoresolve_installed: remove dead code
Michael Schroeder [Tue, 13 Feb 2024 11:43:50 +0000 (12:43 +0100)] 
resolve_installed: remove dead code

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

17 months agoBring python singlespec nearer to the documentation
Michael Schroeder [Tue, 6 Feb 2024 14:01:11 +0000 (15:01 +0100)] 
Bring python singlespec nearer to the documentation

17 months agoGet rid of a couple of time_t uses
Michael Schroeder [Tue, 6 Feb 2024 13:09:15 +0000 (14:09 +0100)] 
Get rid of a couple of time_t uses

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

18 months agoAdd changes, bump version to 0.7.28 0.7.28
Michael Schroeder [Fri, 26 Jan 2024 10:36:15 +0000 (11:36 +0100)] 
Add changes, bump version to 0.7.28

18 months agoAdd 'make clean' in singlespec build
Michael Schroeder [Fri, 26 Jan 2024 10:34:01 +0000 (11:34 +0100)] 
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...

18 months agoMerge pull request #542 from bluca/typos
Michael Schroeder [Fri, 26 Jan 2024 10:15:43 +0000 (11:15 +0100)] 
Merge pull request #542 from bluca/typos

Fix various typos found by Lintian

18 months agoGet rid of cmake warning
Michael Schroeder [Thu, 25 Jan 2024 15:20:28 +0000 (16:20 +0100)] 
Get rid of cmake warning

18 months agoBuild for multiple python versions for SUSE
Michael Schroeder [Thu, 25 Jan 2024 13:27:36 +0000 (14:27 +0100)] 
Build for multiple python versions for SUSE

19 months agoMerge pull request #546 from jonashaag/patch-1
Michael Schroeder [Mon, 11 Dec 2023 11:31:20 +0000 (12:31 +0100)] 
Merge pull request #546 from jonashaag/patch-1

Disable choice rules for Conda

20 months agoDisable choice rules for Conda 546/head
Jonas Haag [Sat, 2 Dec 2023 11:21:51 +0000 (12:21 +0100)] 
Disable choice rules for Conda

20 months agoFix various typos found by Lintian 542/head
Luca Boccassi [Sat, 11 Nov 2023 16:26:58 +0000 (16:26 +0000)] 
Fix various typos found by Lintian

20 months agoAdd changes, bump version to 0.7.27 0.7.27
Michael Schroeder [Thu, 23 Nov 2023 14:14:11 +0000 (15:14 +0100)] 
Add changes, bump version to 0.7.27

20 months agoFurther optimize dirpool caching in repo_write
Michael Schroeder [Thu, 23 Nov 2023 14:08:02 +0000 (15:08 +0100)] 
Further optimize dirpool caching in repo_write

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

20 months agoAdd license blurb to findfileconflicts tool
Michael Schroeder [Thu, 23 Nov 2023 13:40:04 +0000 (14:40 +0100)] 
Add license blurb to findfileconflicts tool

Like with all the other tools...

20 months agoinstallcheck: use solver_problemruleinfo2str()
Michael Schroeder [Thu, 23 Nov 2023 12:26:48 +0000 (13:26 +0100)] 
installcheck: use solver_problemruleinfo2str()

20 months agoNo longer use legacy problem types in installcheck
Michael Schroeder [Thu, 23 Nov 2023 12:03:31 +0000 (13:03 +0100)] 
No longer use legacy problem types in installcheck

No functual changes.

20 months agoRewrite strlen_comp so that it no longer has its own list of compression types
Michael Schroeder [Thu, 23 Nov 2023 11:54:53 +0000 (12:54 +0100)] 
Rewrite strlen_comp so that it no longer has its own list of compression types

20 months agoMerge pull request #544 from Vogtinator/zst
Michael Schroeder [Thu, 23 Nov 2023 11:43:52 +0000 (12:43 +0100)] 
Merge pull request #544 from Vogtinator/zst

installcheck: Support .zst files and fix .lzma

20 months agoinstallcheck: Support .zst files and fix .lzma 544/head
Fabian Vogt [Thu, 23 Nov 2023 10:09:08 +0000 (11:09 +0100)] 
installcheck: Support .zst files and fix .lzma

20 months agorepo_write: add a small cache for putinowndirpool()
Michael Schroeder [Wed, 8 Nov 2023 12:53:11 +0000 (13:53 +0100)] 
repo_write: add a small cache for putinowndirpool()

This helps a lot with diskusage data or filelists.

20 months agoAdd changes, bump version to 0.7.26 0.7.26
Michael Schroeder [Tue, 7 Nov 2023 11:46:48 +0000 (12:46 +0100)] 
Add changes, bump version to 0.7.26

20 months agorepo_rpmdb.c: Do not use deprecated headerUnload with newer rpm versions
Michael Schroeder [Tue, 7 Nov 2023 10:54:09 +0000 (11:54 +0100)] 
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.

22 months agoFix evr roundtrip
Michael Schroeder [Wed, 27 Sep 2023 15:24:34 +0000 (17:24 +0200)] 
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.

22 months agoAdd changes, bump version to 0.7.25 0.7.25
Michael Schroeder [Thu, 14 Sep 2023 12:18:10 +0000 (14:18 +0200)] 
Add changes, bump version to 0.7.25

22 months agoSupport rich deps in SOLVABLE_PREREQ_IGNOREINST
Michael Schroeder [Tue, 12 Sep 2023 11:14:17 +0000 (13:14 +0200)] 
Support rich deps in SOLVABLE_PREREQ_IGNOREINST

22 months agoDo not minimize from an installed to an uninstalled package when checking recommends
Michael Schroeder [Wed, 6 Sep 2023 12:10:17 +0000 (14:10 +0200)] 
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

2 years agorepo_conda: overwrite the package subdir with the info subdir if there is a conflict
Michael Schroeder [Fri, 21 Jul 2023 11:53:46 +0000 (13:53 +0200)] 
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

2 years agoSave memory in repo_updateinfoxml by not interleaving repo_addflexarray calls
Michael Schroeder [Thu, 20 Jul 2023 09:50:00 +0000 (11:50 +0200)] 
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>.

2 years agoClean up header files
Michael Schroeder [Mon, 22 May 2023 08:28:01 +0000 (10:28 +0200)] 
Clean up header files

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

2 years agoMerge pull request #530 from AntoinePrv/fix-header
Michael Schroeder [Mon, 22 May 2023 08:07:03 +0000 (10:07 +0200)] 
Merge pull request #530 from AntoinePrv/fix-header

Fix incomplete headers

2 years agochoice rules: also do solver_choicerulecheck for package downgrades
Michael Schroeder [Fri, 19 May 2023 13:17:53 +0000 (15:17 +0200)] 
choice rules: also do solver_choicerulecheck for package downgrades

Fixes issue #514

2 years agoFix incomplete headers 530/head
AntoinePrv [Wed, 3 May 2023 12:59:23 +0000 (14:59 +0200)] 
Fix incomplete headers

2 years agoOnly disable infarch rules on erase if the package was in lock-step
Michael Schroeder [Fri, 21 Apr 2023 14:15:10 +0000 (16:15 +0200)] 
Only disable infarch rules on erase if the package was in lock-step

Fiexes issue #528

2 years agoAllow to break arch lock-step on erase operations
Michael Schroeder [Wed, 19 Apr 2023 11:09:10 +0000 (13:09 +0200)] 
Allow to break arch lock-step on erase operations

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

2 years agoAdd 'feature complex_deps' to ifelse_rec.t testcase
Michael Schroeder [Wed, 19 Apr 2023 07:50:58 +0000 (09:50 +0200)] 
Add 'feature complex_deps' to ifelse_rec.t testcase

2 years agoAdd testcase for last commit
Michael Schroeder [Tue, 18 Apr 2023 10:36:40 +0000 (12:36 +0200)] 
Add testcase for last commit

2 years agoTreat condition both as positive and negative literal in pool_add_pos_literals_comple...
Michael Schroeder [Tue, 18 Apr 2023 09:57:50 +0000 (11:57 +0200)] 
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

2 years agoAdd changes, bump version to 0.7.24 0.7.24
Michael Schroeder [Thu, 13 Apr 2023 14:08:45 +0000 (16:08 +0200)] 
Add changes, bump version to 0.7.24

2 years agoAdd back findutils requires for libsolv-tools
Michael Schroeder [Thu, 13 Apr 2023 14:01:36 +0000 (16:01 +0200)] 
Add back findutils requires for libsolv-tools

It was deleted by accident in commit 755462c2b06b079f11d431aa44c7a6146cfea424.

2 years agoMerge pull request #520 from ffontaine/master
Michael Schroeder [Thu, 23 Feb 2023 09:59:41 +0000 (10:59 +0100)] 
Merge pull request #520 from ffontaine/master

Fix build without C++

2 years agoMerge pull request #521 from AntoinePrv/headers
Michael Schroeder [Wed, 15 Feb 2023 11:46:49 +0000 (12:46 +0100)] 
Merge pull request #521 from AntoinePrv/headers

Fix conda headers

2 years agofix: header extern C and guard 521/head
AntoinePrv [Wed, 15 Feb 2023 11:08:49 +0000 (12:08 +0100)] 
fix: header extern C and guard

2 years agoFix build without C++ 520/head
Fabrice Fontaine [Sun, 12 Feb 2023 14:27:27 +0000 (15:27 +0100)] 
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>
2 years agoDocument BPOOL_FLAG_NOWHATPROVIDESAUX and POOL_FLAG_WHATPROVIDESWITHDISABLED
Michael Schroeder [Tue, 31 Jan 2023 11:52:49 +0000 (12:52 +0100)] 
Document BPOOL_FLAG_NOWHATPROVIDESAUX and POOL_FLAG_WHATPROVIDESWITHDISABLED

At least in libsolv-bindings...

2 years agoUse SOLVER_DECISIONLIST_SORTED in showwhy()
Michael Schroeder [Fri, 13 Jan 2023 10:46:40 +0000 (11:46 +0100)] 
Use SOLVER_DECISIONLIST_SORTED in showwhy()

2 years agoImplement decision sorting for package decisionlists
Michael Schroeder [Fri, 13 Jan 2023 10:44:53 +0000 (11:44 +0100)] 
Implement decision sorting for package decisionlists

We only sort blocks of unit rule decisions for now.

2 years agoSupport x86_64_v[234] architecture levels
Michael Schroeder [Mon, 9 Jan 2023 11:34:34 +0000 (12:34 +0100)] 
Support x86_64_v[234] architecture levels

2 years agoUse pool instread of solv->pool where we can
Michael Schroeder [Thu, 22 Dec 2022 09:34:12 +0000 (10:34 +0100)] 
Use pool instread of solv->pool where we can

2 years agoUse solver_problem2str() convenience function in the demo solver
Michael Schroeder [Wed, 21 Dec 2022 13:18:16 +0000 (14:18 +0100)] 
Use solver_problem2str() convenience function in the demo solver

2 years agoMove replace solution types from the bindings to the library
Michael Schroeder [Wed, 21 Dec 2022 12:52:41 +0000 (13:52 +0100)] 
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.

2 years agoFix typo in comment
Michael Schroeder [Wed, 21 Dec 2022 12:32:59 +0000 (13:32 +0100)] 
Fix typo in comment

2 years agoSplit is_obsoleting() from policy_findupdatepackages
Michael Schroeder [Tue, 20 Dec 2022 10:36:11 +0000 (11:36 +0100)] 
Split is_obsoleting() from policy_findupdatepackages

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

2 years agoMerge pull request #516 from hroncok/no_distutils
Michael Schroeder [Tue, 20 Dec 2022 09:51:15 +0000 (10:51 +0100)] 
Merge pull request #516 from hroncok/no_distutils

Python: Remove usage of the deprecated distutils module

2 years agoPython: Remove usage of the deprecated distutils module 516/head
Miro Hrončok [Mon, 19 Dec 2022 22:07:57 +0000 (23:07 +0100)] 
Python: Remove usage of the deprecated distutils module

Python 3.12+ no longer has distutils.

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

2 years agoFix pool_whatmatchesdep's SOLVABLE_NAME hack
Michael Schroeder [Mon, 19 Dec 2022 14:51:41 +0000 (15:51 +0100)] 
Fix pool_whatmatchesdep's SOLVABLE_NAME hack

2 years agoSpeed up obsoletes handling in update rule generation a bit
Michael Schroeder [Mon, 19 Dec 2022 13:51:10 +0000 (14:51 +0100)] 
Speed up obsoletes handling in update rule generation a bit

2 years agoAdd testcase for yumobs pruning
Michael Schroeder [Mon, 19 Dec 2022 13:49:46 +0000 (14:49 +0100)] 
Add testcase for yumobs pruning

2 years agoImprove pruning of yumobs branches
Michael Schroeder [Fri, 16 Dec 2022 10:01:48 +0000 (11:01 +0100)] 
Improve pruning of yumobs branches

2 years agoAdd alternative/yumobs.t testcase
Michael Schroeder [Thu, 15 Dec 2022 10:51:14 +0000 (11:51 +0100)] 
Add alternative/yumobs.t testcase

2 years agoDo not report alternatives for yumobs splits
Michael Schroeder [Thu, 15 Dec 2022 10:50:04 +0000 (11:50 +0100)] 
Do not report alternatives for yumobs splits

2 years agoMove alternatives introspection code into decision.c
Michael Schroeder [Thu, 15 Dec 2022 10:02:06 +0000 (11:02 +0100)] 
Move alternatives introspection code into decision.c

2 years agoAdd release to obsoletes in the alternative/update.t test
Michael Schroeder [Thu, 15 Dec 2022 10:00:47 +0000 (11:00 +0100)] 
Add release to obsoletes in the alternative/update.t test

Otherwise it fails on debian.

2 years agoRequire rpm dependencies in alternative/learnt
Michael Schroeder [Thu, 15 Dec 2022 09:26:27 +0000 (10:26 +0100)] 
Require rpm dependencies in alternative/learnt

The pool_dep2str() output depends on the disttype

2 years agoAdd testcases for the alternative introspection
Michael Schroeder [Wed, 14 Dec 2022 16:02:02 +0000 (17:02 +0100)] 
Add testcases for the alternative introspection

2 years agoAdapt testcases to the last change
Michael Schroeder [Wed, 14 Dec 2022 16:01:23 +0000 (17:01 +0100)] 
Adapt testcases to the last change

2 years agoMake use of solver_alternative2str() in testcases
Michael Schroeder [Wed, 14 Dec 2022 15:58:28 +0000 (16:58 +0100)] 
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...

2 years agoHandle learnt rules in solver_alternativeinfo()
Michael Schroeder [Wed, 14 Dec 2022 15:57:38 +0000 (16:57 +0100)] 
Handle learnt rules in solver_alternativeinfo()

2 years agoSwap from/to in the ruleinfo instead of just overwriting
Michael Schroeder [Wed, 14 Dec 2022 15:47:09 +0000 (16:47 +0100)] 
Swap from/to in the ruleinfo instead of just overwriting

Otherwise we report a wrong providing package.

2 years agoUpdate checksum types in bindings documentation
Michael Schroeder [Tue, 13 Dec 2022 13:06:12 +0000 (14:06 +0100)] 
Update checksum types in bindings documentation

2 years agoAdd changes, bump version to 0.7.23 0.7.23
Michael Schroeder [Tue, 13 Dec 2022 10:52:50 +0000 (11:52 +0100)] 
Add changes, bump version to 0.7.23

2 years agosolv: Do not print duchanges if there is no change
Michael Schroeder [Tue, 13 Dec 2022 10:22:29 +0000 (11:22 +0100)] 
solv: Do not print duchanges if there is no change

2 years agoAdd a DISABLE_UPDATE entry if we need to disable a best rules
Michael Schroeder [Tue, 13 Dec 2022 10:19:02 +0000 (11:19 +0100)] 
Add a DISABLE_UPDATE entry if we need to disable a best rules

2 years agoAdd solver_alternativeinfo() function
Michael Schroeder [Tue, 13 Dec 2022 09:45:55 +0000 (10:45 +0100)] 
Add solver_alternativeinfo() function

This code is split off from the solver_alternative2str() function
so that library users can offer translated messages.

2 years agoMake get_decision also return a decision for unrelated solvables
Michael Schroeder [Tue, 13 Dec 2022 09:01:35 +0000 (10:01 +0100)] 
Make get_decision also return a decision for unrelated solvables

Consistency with get_decisionlist().

2 years agoAdd documentation for solver.get_decision()
Michael Schroeder [Tue, 13 Dec 2022 08:59:58 +0000 (09:59 +0100)] 
Add documentation for solver.get_decision()

And no longer document the obsolete describe_decision method.

2 years agoImprove solver_alternative2str
Michael Schroeder [Mon, 12 Dec 2022 15:21:29 +0000 (16:21 +0100)] 
Improve solver_alternative2str

Add code for SOLVER_RULE_BEST and SOLVER_RULE_PKG_RECOMMENDS.

2 years agoAdd alternative reporting
Michael Schroeder [Mon, 12 Dec 2022 15:18:43 +0000 (16:18 +0100)] 
Add alternative reporting

Also make pysolv work again with newer rpm versions. We need
to rewind the file descriptor int the RPMCALLBACK_INST_OPEN_FILE
callback as rpm now opens the file twice.

2 years agoDocument pool.solvableset2str and pool.solvidset2str
Michael Schroeder [Mon, 12 Dec 2022 14:55:20 +0000 (15:55 +0100)] 
Document pool.solvableset2str and pool.solvidset2str

2 years agoDocument the Alternative, Decision, Decisionset classes
Michael Schroeder [Mon, 12 Dec 2022 14:44:54 +0000 (15:44 +0100)] 
Document the Alternative, Decision, Decisionset classes

2 years agoRename solver.all_alternatives to solver.alternatives
Michael Schroeder [Mon, 12 Dec 2022 14:41:52 +0000 (15:41 +0100)] 
Rename solver.all_alternatives to solver.alternatives

Make it consistent with problem.solutions()

2 years agoTweak decision bindings to make them more consistent
Michael Schroeder [Mon, 12 Dec 2022 14:19:36 +0000 (15:19 +0100)] 
Tweak decision bindings to make them more consistent

Make rule/solvable attributes. Rename decisionset.packages()
to decisionset.solvables(). Add decisionset.Dep attribute.

Also add missing SOLVER_RULE constants.

2 years agoMake use of the new solver_decisionlist_merged() function
Michael Schroeder [Mon, 12 Dec 2022 09:06:07 +0000 (10:06 +0100)] 
Make use of the new solver_decisionlist_merged() function

It's faster and simpler than the old way.

2 years agoAdd a solver_decisionlist_merged() function
Michael Schroeder [Mon, 12 Dec 2022 09:03:30 +0000 (10:03 +0100)] 
Add a solver_decisionlist_merged() function

This returns the number of merged decisions for a decisionlist
entry, i.e. the number of decisions minus one.

2 years agobindings: add decisionlistset.decisions() to get the merged decisions
Michael Schroeder [Fri, 9 Dec 2022 14:34:41 +0000 (15:34 +0100)] 
bindings: add decisionlistset.decisions() to get the merged decisions