Update to last successful build
 968334113e9093fb89875344b094067e1f5e363e Add forgotten SOLVER_REASON_UNRELATED to solver_reason2str

• Files Changed
• Browse Source

Update to last successful build
 a3d3baec7eaf0f80c1199e700834452349afad7b Adapt testsolv to the decision introspection changes

• Files Changed
• Browse Source

Update to last successful build
 3d566bf0ad698f581624c93647dd6e42fb6fe8b4 More tweaks for the proof reporting in testsolv

• Files Changed
• Browse Source

Update to last successful build
 1f29f76343ffbadd24ad9d376be61528948dda00 Merge pull request #513 from banjiuqingshan/master
eb94d1c0c750dcdee0e82a8b649c4eae22edd50f fix memory leak caused by commit 1da9bef8

• Files Changed
• Browse Source

Update to last successful build
 526a931e62b448cc4ee57c751d93e2e8f31d727e Support learnt rules in proof reporting

• Files Changed
• Browse Source

Update to last successful build
 1e7cd39a42901a19d0b0f521a20fd4a67b47b6e9 testsolv: Add -P option that displays the proofs of each problem

• Files Changed
• Browse Source

Update to last successful build
 ea871d83baa3465fb6bc871fb47dcc9332b8b8bd Also commit header file

• Files Changed
• Browse Source

Update to last successful build
 d35c45240062574ee2cd495fbab2a070d6ca2756 Fix solver_rule2solvable implementation

• Files Changed
• Browse Source

Update to last successful build
 cf45eac792a30e653cb22978e1408868de21cb86 Use new solver_get_decisionlist() interface in testsolv's showwhy()

• Files Changed
• Browse Source

Update to last successful build
 33350a8946b5ff7c478d8697cb82778cac53306a update showwhy implementation

• Files Changed
• Browse Source

Update to last successful build
 a3059b4712ccd6998060e2edf32fcf65fee5c714 Add support for weak rule types to solver_ruleinfo2str

• Files Changed
• Browse Source

Update to last successful build
 958f993dc05a017ce3727ec7973924625dc49258 Add -W option to show why the solver installed/erased the specified package

• Files Changed
• Browse Source

Update to last successful build
 fc10f1d7b76c6650188a85f17ede3355ee4b915e Fix type check broken by commit 26fcfa714a29d1feb393e9a61f9d1a04556866a6

• Files Changed
• Browse Source

Update to last successful build
 de84237336b0214989010524c589f07371fc4f99 Implement getting the releasever from the base product on SUSE

• Files Changed
• Browse Source

Update to last successful build
 e2ff280d5b5dd74825540385c2cc263b332a5631 Merge pull request #504 from lnussel/plaindir
79f921ce5dd8d63858e41f0db4f0e87837497fc3 github ci: make build more verbose
af500cd09d5331898452c7951a557e316e9a10de solv: add plaindir repo support

• Files Changed
• Browse Source

Update to last successful build
 ba58eebc3cb907aaad2488425df245cb9ceb532a Add functions to make proof reporting easier

• Files Changed
• Browse Source

Update to last successful build
 0aae259489f8521c32058c1c2c2052a9caefd332 Merge pull request #505 from jon-turney/fix-dup-reuse-crash
dd6e977782816e330a8f60cf78ca3d12fead3b10 Ensure duplinvolvedmap_all is reset when a solver is reused

• Files Changed
• Browse Source

Update to last successful build
 e13455d011710a99ef1dfb33432044cc7eae0efb Add SOLVABLE_SIGNATUREDATA to list of verticals

• Files Changed
• Browse Source

Update to last successful build
 cc2da2e789f651b2d0d55fe31c258426bf9e984d conda: add support for package signature verification

• Files Changed
• Browse Source

Update to last successful build
 b263575b207af74cbb28154f931783d060c0391e Add jsonparser_collect() that can be used to collect the json that is skipped

• Files Changed
• Browse Source