]> git.ipfire.org Git - thirdparty/libsolv.git/commit
projects / thirdparty / libsolv.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 58c1b42) | patch
Unify proof generation with decisionlist query
authorMichael Schroeder <mls@suse.de>
Tue, 6 Dec 2022 14:07:33 +0000 (15:07 +0100)
committerMichael Schroeder <mls@suse.de>
Tue, 6 Dec 2022 14:10:36 +0000 (15:10 +0100)
commitf6b47040159e905e62317ef846b26ffcaa8dad8f
treea3de4ed0f5756809eca17304b15228dff19966detree
parent58c1b4264ef0390bfee439b1292fe8435ee1df87commit | diff
Unify proof generation with decisionlist query

Both generate a list of decisions, so having a unified API
makes sense.

The returned decisions are of the form (decision, reason, info)
unless the WITHINFO flag is used, which returns
(decision, reason, info, type, from, to dep) heptlets.

Also move decision introspection code into a new decisions.c
file.
ext/testcase.c diff | blob | blame | history
src/CMakeLists.txt diff | blob | blame | history
src/decision.c [new file with mode: 0644] blob
src/libsolv.ver diff | blob | blame | history
src/problems.c diff | blob | blame | history
src/problems.h diff | blob | blame | history
src/solver.c diff | blob | blame | history
src/solver.h diff | blob | blame | history
Mirror of https://github.com/openSUSE/libsolv.git