Code

[Draft] Switch to libsolv port#236

Code

Closed

aochagavia wants to merge 17 commits intoconda:mainconda/rattler:mainfrom aochagavia:libsolv-rsaochagavia/rattler:libsolv-rsCopy head branch name to clipboard

+4,218-4,498

Commits

Commits on Jun 29, 2023

• Allow manually specifying platform and virtual packages

  aochagavia

  committed
  f08348f

• First take at porting libsolv

  aochagavia

  committed
  b2fe311

• First take at user-friendly error messages

  aochagavia

  committed
  e195775

• Polishing libsolv-rs port

  aochagavia

  committed
  4486ac5

• More comments

  aochagavia

  committed
  cc82574

• More comments

  aochagavia

  committed
  8bdd35a

• PR feedback

  aochagavia

  committed
  cc37893

• More feedback

  aochagavia

  committed
  2616a43

• Generate rules using DFS after all

  aochagavia

  committed
  c8d10d3

• Simplify pool functions

  aochagavia

  committed
  74535b2

• Introduce Arena

  aochagavia

  committed
  330580c

• More arenas and mappings

  aochagavia

  committed
  ea40d00

• Use arena for learnt rules

  aochagavia

  committed
  807d87a

• Fix failing test

  aochagavia

  committed
  9b6cc2e

• Fix clippy

  aochagavia

  committed
  6ad4df4

• Use mapping in watch map

  aochagavia

  committed
  f5da6cf

Commits on Jul 3, 2023

• Add docs for solver

  aochagavia

  committed
  a2a3cc0