S

Merge remote-tracking branch 'upstream/main'

Shawn Webb

6 days ago 920c183

J

Fix typos in source code

Jose Luis Duran

7 days ago 10f92f1

B

vital: now explicitly state the SAT solver issue are due to a vital package

Baptiste Daroussin

22 days ago 09da7c2

S

Merge remote-tracking branch 'upstream/main'

Shawn Webb

22 days ago abccdd3

B

jobs: before scheduling a DELETE jobs verify if it is really needed

Baptiste Daroussin

1 month ago cdf3254

P

pkg: avoid a bunch of warnings

Pierre Pronchery

2 months ago cf901ce

P

pkg: avoid a bunch of warnings

Pierre Pronchery

2 months ago 3b9bfd7

S

Merge commit '2d18505bf79a2eb87e2e72bbc3e30b0cf7f6b15c'

Shawn Webb

4 months ago eacbab2

B

ABI: fix abi globs validation

Baptiste Daroussin

6 months ago 609d703

M

libpkg: Add a heuristic for backup_libraries in shlib handling

Mark Johnston

7 months ago 88e30a1

M

libpkg: Relax ABI checking when looking for shlib providers

Mark Johnston

7 months ago 310cf6e

M

libpkg: Simplify error handling in the solver and fix style bugs

Mark Johnston

7 months ago 04615b3

M

libpkg: Remove an unused macro in pkg_solve.c

Mark Johnston

7 months ago aebc6c4

S

Merge remote-tracking branch 'upstream/main'

Shawn Webb

11 months ago ba89bd1

B

solver: move from tll to vector

Baptiste Daroussin

11 months ago c802d96

B

provides/requires: use bsearch everywhere possible

Baptiste Daroussin

11 months ago 30787ee

B

schedule: convert to vector

Baptiste Daroussin

1 year ago fef3ef2

B

non pkgbase: convert system shlibs to vector of char *

Baptiste Daroussin

1 year ago b8cd71e

B

pkg: convert stringlist_t to charv_t

Baptiste Daroussin

1 year ago 3c90262

S

Merge remote-tracking branch 'upstream/main'

Shawn Webb

1 year ago 89d30c6

G

Introduce the FORCE_CAN_REMOVE_VITAL boolean config option

Gleb Popov

1 year ago cef2179

G

solver: introduce a new rule kind to handle vital packages

Gleb Popov

1 year ago 62db44e

B

compat32: ignore on systems without lib32 set

Baptiste Daroussin

1 year ago e245b7a

B

str_ends_with: add a new util function

Baptiste Daroussin

1 year ago f398b0b

B

solver: do not consider shlibs_required from base on system not running pkgbase

Baptiste Daroussin

1 year ago b6e3941

S

Merge remote-tracking branch 'upstream/main'

Shawn Webb

1 year ago 25ee7d0

I

libpkg: make shlib handling portable

Isaac Freund

1 year ago 6462d8a

S

Merge remote-tracking branch 'freebsd/main'

Shawn Webb

1 year ago 84c2214

B

abi: compare abi not altabi

Baptiste Daroussin

1 year ago 74c2b62

B

altabi: rename the private field arch into altabi

Baptiste Daroussin

1 year ago 72cc0cd

S

Merge remote-tracking branch 'upstream/main'

Shawn Webb

1 year ago c62eec6

I

libpkg: remove redundant pkg_jobs->count field

Isaac Freund

1 year ago 2e1ff21

S

Merge remote-tracking branch 'upstream/main'

Shawn Webb

1 year ago 851a6a4

G

Take PKG_ATTR_{VITAL,LOCKED} into account at the solver level.

Gleb Popov

1 year ago 052a2d3

S

Merge remote-tracking branch 'upstream/master'

Shawn Webb

1 year ago 33f4711

B

STR*EQ: use macros where possible

Baptiste Daroussin

1 year ago 053f4a2

S

Merge branch 'upstream-master'

Shawn Webb

2 years ago fd4c88b

B

debug: add a namespace for the solver

Baptiste Daroussin

2 years ago 66cb25e

B

Revert "Take PKG_ATTR_{VITAL,LOCKED} into account when solving for pkg upgrade."

Baptiste Daroussin

2 years ago 9886217

B

Revert "solver: fix sigbus with vital rule"

Baptiste Daroussin

2 years ago 67fe7b3

S

Merge remote-tracking branch 'upstream/master'

Shawn Webb

2 years ago 825ab9d

B

solver: fix sigbus with vital rule

Baptiste Daroussin

2 years ago f3151f6

r

libpkg/pkg_solve.c: remove the err label

rilysh

2 years ago f13d616

S

Merge remote-tracking branch 'upstream/master'

Shawn Webb

2 years ago 9d0c3f2

G

Take PKG_ATTR_{VITAL,LOCKED} into account when solving for pkg upgrade.

Gleb Popov

2 years ago ccfbf0c

S

Merge branch 'upstream-master'

Shawn Webb

3 years ago fa6223f

B

libpkg: convert the solver summary into a tllist

Baptiste Daroussin

3 years ago 7dcb9a6

S

Merge branch 'upstream-master'

Shawn Webb

3 years ago e294fea

B

solver: Fix backwards debug about remote/local ABI

Bryan Drewery

3 years ago 79d1914

S

Merge branch 'upstream-master'

Shawn Webb

3 years ago 6c2ebb5

B

API: convert all abused hash table into stringlist

Baptiste Daroussin

4 years ago 9b49b83

H

libpkg: Minor cleanup in pkg_solve.c

Hans Petter Selasky

4 years ago 699440d

B

internal: replace kvec with tllist

Baptiste Daroussin

4 years ago 3fdd5e1

M

libpkg: Eliminate some redundancy in pkg_solve.c

Mark Johnston

4 years ago 38bbfc6

M

libpkg: Remove unneeded error checking

Mark Johnston

4 years ago d45879c

M

libpkg: Fix some style bugs, simplify control flow, add comments

Mark Johnston

4 years ago c373cf9

B

Use pkghash_get_value

Baptiste Daroussin

4 years ago ff7a207

B

last conversion from uthash to pkghash

Baptiste Daroussin

4 years ago 486a5b7

B

one more conversion to uthash

Baptiste Daroussin

4 years ago f8c80a5

B

pkghash: One more conversion from uthash

Baptiste Daroussin

4 years ago e2eeea2

B

convert from uthash to pkghash

Baptiste Daroussin

4 years ago 7dc30d2

B

convert from khash to pkghash

Baptiste Daroussin

4 years ago 438bcc6

B

quality: remove more dead assignement

Baptiste Daroussin

4 years ago da1a478

S

Merge commit '74fd3389a4ee2611603ee8658d2f3b4182ace73e'

Shawn Webb

5 years ago b759c48

B

Remove utstring from the solver

Baptiste Daroussin

5 years ago a5325c2

B

Revert "Increase log level for provide/require mismatch"

Baptiste Daroussin

6 years ago b35e7b9

V

Increase log level for provide/require mismatch

Vsevolod Stakhov

6 years ago d608001

B

Merge branch 'autosetup'

Baptiste Daroussin

7 years ago b9c18cf

B

Mark some unused parameter as such

Baptiste Daroussin

8 years ago 2931715

B

If the digest is different when trying to detect if we should upgrade

Baptiste Daroussin

9 years ago 57c8893

V

Merge branch 'master' of github.com:freebsd/pkg

Vsevolod Stakhov

9 years ago d7f6ae8

B

Move the globals under a ctx object to prepare for newer api

Baptiste Daroussin

9 years ago 7ea4379

V

Use dependencies formula in solver

Vsevolod Stakhov

9 years ago b0ea8d3

V

Use dependencies formula in solver

Vsevolod Stakhov

9 years ago 6c2aa59

B

convert pkg_option and pkg_conflicts to khash

Baptiste Daroussin

9 years ago ba73c4c

B

abort() in case of memory failure

Baptiste Daroussin

9 years ago 2a1ca66

B

Add a link list for (reverse)dependencies which speeds up loops

Baptiste Daroussin

9 years ago 5ec313d

B

Replace libsbuf with utstring.h to improve portability

Baptiste Daroussin

9 years ago f93c045

B

Fix external solver

Baptiste Daroussin

9 years ago 1ff1646

B

Disable pinning for pkg itself when and only when looking for a new version of pkg

Baptiste Daroussin

9 years ago 4835b27

B

Fix potential use of an unitialized variable

Baptiste Daroussin

9 years ago 517a174

V

Merge pull request #1446 from vstakhov/master

Vsevolod Stakhov

9 years ago 87cda8c

V

Try fix reinstallation on upgrade

Vsevolod Stakhov

9 years ago 6ba1d88

V

Try to implement reponame pinning in the solver

Vsevolod Stakhov

9 years ago 9c2a5df

B

Simplify code a bit

Baptiste Daroussin

9 years ago f9dae2d

B

Remove freebsdism not needed due to setting _BSD_SOURCE

Baptiste Daroussin

9 years ago 39ac3d6

B

plug resource leaks in case of errors

Baptiste Daroussin

10 years ago e3780c3

B

Plug some memory leaks

Baptiste Daroussin

10 years ago c0ea706

B

Try up to 10 differents plans in case of unsolveable problems

Baptiste Daroussin

10 years ago 7526765

B

Add a basic autoresolution of SAT problems.

Baptiste Daroussin

10 years ago 7c39a3f

V

Fix crash when processing failed assumptions

Vsevolod Stakhov

10 years ago e9468d8

V

Merge pull request #1324 from vstakhov/master

Vsevolod Stakhov

10 years ago 07d8082

V

More debugging for provides.

Vsevolod Stakhov

10 years ago 2f6ca1a

V

Fix conflicts drawing.

Vsevolod Stakhov

10 years ago 7236e35

V

Add DOT_FILE variable to save dot graph.

Vsevolod Stakhov

10 years ago 011f0c7

V

Add dot fomat export for solver's problem.

Vsevolod Stakhov

10 years ago d71e383

B

Fixes

Baptiste Daroussin

10 years ago 6046ae3

B

Convert *provides/*requires to khash

Baptiste Daroussin

10 years ago f4dcde2

B

Convert dependencies to khash.

Baptiste Daroussin

10 years ago 103ce1c

V

Merge branch 'conflicts-solver'

Vsevolod Stakhov

10 years ago c574993

V

Fix rules printing.

Vsevolod Stakhov

10 years ago 832e256

V

Rework manual SAT resolving.

Vsevolod Stakhov

10 years ago 17674a5

V

Print merely conflict rules.

Vsevolod Stakhov

10 years ago dbb9ca6

B

Merge pull request #1297 from andrejzverev/fix2

Baptiste Daroussin

10 years ago 7acb579

A

show local/remote pkg, instead of remote/local

Andrej Zverev

10 years ago 9e004bf

B

Merge pull request #1296 from andrejzverev/fix1

Baptiste Daroussin

10 years ago 59f9f8c

A

print pkg name when can't find provide for requirement

Andrej Zverev

10 years ago 90f2d58

V

Fix more issues with assumptions.

Vsevolod Stakhov

10 years ago 9760d5f

V

Use normal order of clauses within a single solver's rule.

Vsevolod Stakhov

10 years ago ced16c3

V

More assumptions tuning.

Vsevolod Stakhov

10 years ago 7912da5

V

Use binary flags for variables in the solver.

Vsevolod Stakhov

10 years ago 862c9b6

V

Implement assumptions setup in the solver.

Vsevolod Stakhov

10 years ago 0d3849d

V

Change assumptions about failed variables.

Vsevolod Stakhov

10 years ago cce96e8

V

Fix partial upgrades.

Vsevolod Stakhov

10 years ago 8ab6adf

B

Chech pkg->arch rather than pkg->abi

Baptiste Daroussin

11 years ago 95b8671

V

Misprint in debug message.

Vsevolod Stakhov

11 years ago aad28d2

V

Further improve logic of failed vars.

Vsevolod Stakhov

11 years ago 3298861

V

Improve SAT iterations.

Vsevolod Stakhov

11 years ago 24b137b

V

Check ABI for shlib provides/requires.

Vsevolod Stakhov

11 years ago c4e6819

B

Add a test about upgrading and remove false positive warnings

Baptiste Daroussin

11 years ago 2098835

V

Merge pull request #1215 from vstakhov/master

Vsevolod Stakhov

11 years ago e9655d5

V

More fixes to chain conflicts.

Vsevolod Stakhov

11 years ago 52db8c8

V

Properly add chain conflicts rule.

Vsevolod Stakhov

11 years ago 222fbfe

V

Rewind vars list.

Vsevolod Stakhov

11 years ago 8eb1bd5

V

Merge pull request #1214 from vstakhov/master

Vsevolod Stakhov

11 years ago 9e14677

V

Correct solver's initial assumptions.

Vsevolod Stakhov

11 years ago a79b343

V

Take local require/provide into consideration.

Vsevolod Stakhov

11 years ago 0eb3180

V

Check match for provide/require rules.

Vsevolod Stakhov

11 years ago 9c11c09

V

Fix debug print of solver rules.

Vsevolod Stakhov

11 years ago 82c2469

B

Fix wordings

Baptiste Daroussin

11 years ago 0f8ee35

B

Add a debug information about requires added to the solver

Baptiste Daroussin

11 years ago 1c7b00d

V

Merge pull request #1213 from vstakhov/master

Vsevolod Stakhov

11 years ago a9b8ed0

V

Allow digest specific conflicts.

Vsevolod Stakhov

11 years ago 121b89a

B

Add support for provides/requires

Baptiste Daroussin

11 years ago a8b55d0

B

Add requires to the problem

Baptiste Daroussin

11 years ago e1410de

B

Make requires more generic in the solver

Baptiste Daroussin

11 years ago 23ad74f

B

Merge pull request #1197 from andrejzverev/fix-1

Baptiste Daroussin

11 years ago 91a511c

A

prevent double output for yes/no

Andrej Zverev

11 years ago 9118f6c

B

Fix potential crash while printing error message

Baptiste Daroussin

11 years ago 58450b9

B

Convert problems to kvec_t

Baptiste Daroussin

11 years ago 72996b0

B

Merge pull request #1170 from Rolinh/fix-unused-param

Baptiste Daroussin

11 years ago 82be7f2

R

libpkg: remove some more unused function parameters

Robin Hahling

11 years ago 38b097d

B

Plug memory leaks

Baptiste Daroussin

11 years ago ed4e56a

B

Revert "Load all version of a given package into universe"

Baptiste Daroussin

11 years ago 5771660

B

Load all version of a given package into universe

Baptiste Daroussin

11 years ago 9ccb97d

B

Remove useless use of sbuf Remove useless accessors

Baptiste Daroussin

11 years ago d2b47eb

B

Remove useless use of sbuf Remove useless accessor

Baptiste Daroussin

11 years ago 093841f

B

Reduce the number of call to hashes by caching debug_level

Baptiste Daroussin

11 years ago e4b9d40

B

Make struct pkg a proper structure

Baptiste Daroussin

11 years ago 99c2768

V

Human readable description of SAT rules.

Vsevolod Stakhov

11 years ago 9dbaabd

V

Print failed SAT rules.

Vsevolod Stakhov

11 years ago 11ceca1

B

Fix warnings spotted by clang 3.5

Baptiste Daroussin

11 years ago 6287bd9

V

Merge branch 'request-rework'

Vsevolod Stakhov

11 years ago 79e26f7

V

Add a temporary workaround.

Vsevolod Stakhov

11 years ago f4e83c2

V

Fix runtime issues.

Vsevolod Stakhov

11 years ago 4745638

V

Fix finding of variables in the chain.

Vsevolod Stakhov

11 years ago ea839ea

V

Modify solver to handle install candidates.

Vsevolod Stakhov

11 years ago 3a241ea

B

Fix indentation and catchup some missed in previous commit

Baptiste Daroussin

11 years ago f085c1c

B

Remove useless comparison to NULL before freeing variables

Baptiste Daroussin

11 years ago aed2ce7

B

Make prompt outputs consistent

Bryan Drewery

11 years ago 8352b86

B

Revert stripping shlib versions from e127d91d4.

Bryan Drewery

11 years ago c94ac3b

V

Merge branch 'master' into imax-rework

Vsevolod Stakhov

11 years ago 810a097

V

Use plain .so for all shared libraries for now.

Vsevolod Stakhov

11 years ago e127d91

V

Remove dead code.

Vsevolod Stakhov

11 years ago 44e6531

V

Add debugging for rules.

Vsevolod Stakhov

11 years ago e1d9207

V

Resolve UNSAT problems manually.

Vsevolod Stakhov

11 years ago ead67db

V

Remove dead code.

Vsevolod Stakhov

11 years ago d5c2ed0

V

Merge pull request #914 from vstakhov/picosat

Vsevolod Stakhov

11 years ago 568e0b6

V

Do not guess assumptions.

Vsevolod Stakhov

11 years ago e65c7f7

V

Some cleanup.

Vsevolod Stakhov

11 years ago 997ece7

V

Print problematic assumptions if sat problem was not solved.

Vsevolod Stakhov

11 years ago f83eadc

V

Request are now SAT assumptions.

Vsevolod Stakhov

11 years ago 55e05f8

V

More simple assignment.

Vsevolod Stakhov

11 years ago 08cc3c9

V

Integrate picosat to pkg.

Vsevolod Stakhov

11 years ago b2638e3

V

Fix units propagation and conflicts.

Vsevolod Stakhov

11 years ago 63b087d

V

Add solve rules to provide variables.

Vsevolod Stakhov

11 years ago 484b5ab

V

Implement ambiguity resolving in the solver.

Vsevolod Stakhov

11 years ago 3cd1453

V

Remove compiler warning.

Vsevolod Stakhov

11 years ago ad0f68c

V

Merge pull request #908 from vstakhov/master

Vsevolod Stakhov

11 years ago 528f544

V

Merge branch 'universe-rework'

Vsevolod Stakhov

11 years ago eb80cd9

V

Fix parsing universe in SAT solver.

Vsevolod Stakhov

11 years ago 49fcc40

V

Fix sat to jobs output.

Vsevolod Stakhov

11 years ago 0819109

V

Fix variables count.

Vsevolod Stakhov

11 years ago bd9437f

V

Use ordinary array for SAT variables.

Vsevolod Stakhov

11 years ago e47217a

V

Finish SAT solver rework.

Vsevolod Stakhov

11 years ago 5dc1d78

V

Start SAT solver refactoring.

Vsevolod Stakhov

11 years ago 2c432c8

V

Move definitions to specific header.

Vsevolod Stakhov

11 years ago 07ea0f2

V

Fix free of solver's tree.

Vsevolod Stakhov

11 years ago 4d3062f

V

Rework DPLL algorithm.

Vsevolod Stakhov

11 years ago 78b6f7b

V

Restore previous initial guess set.

Vsevolod Stakhov

11 years ago 0f2b548

V

Improve solver conflict error message.

Vsevolod Stakhov

11 years ago 916647e

V

Optimize some border cases for solver.

Vsevolod Stakhov

11 years ago 44d0192

V

Fix packages count in pkg-delete.

Vsevolod Stakhov

11 years ago 46b448c

V

Fix issue with multiple vars with the same uid.

Vsevolod Stakhov

11 years ago 101c91e

V

Display reinstalled packages properly.

Vsevolod Stakhov

11 years ago b570b8f

V

Fix reinstallation.

Vsevolod Stakhov

11 years ago dc6ea13

V

Do not solve jobs with no requests.

Vsevolod Stakhov

11 years ago 1f725e2

B

Remove printf debug

Baptiste Daroussin

11 years ago 857f1e6

B

Convert the solver and finish converting conflicts to uniqueid

Baptiste Daroussin

11 years ago 576780b

V

Merge branch 'upgrade-rework'

Vsevolod Stakhov

12 years ago e495c6f