Code

Make sat reproducible#86

Code

Merged

manuelnaranjo merged 4 commits intomainrmohr/bazeldnf:mainfrom mnaranjo/make-sat-reproduciblermohr/bazeldnf:mnaranjo/make-sat-reproducibleCopy head branch name to clipboardJan 14, 2025

+143-16

Commits

Commits on Jan 14, 2025

• Make use of cmp.Or instead of complex ifs

  Show description for c6d1b89
  manuelnaranjo

  committed
  c6d1b89

  Copy full SHA for c6d1b89

• Using slices.[Sort,SortFunc]

  Show description for 60973b1
  manuelnaranjo

  committed
  60973b1

  Copy full SHA for 60973b1

• test: validate if sorting helps

  Show description for 73ea213
  manuelnaranjo

  committed
  73ea213

  Copy full SHA for 73ea213

• sat: sort inputs to the sat solver for determinism

  Show description for e9f6570
  manuelnaranjo

  committed
  e9f6570

  Copy full SHA for e9f6570