Code

Binary adder PB encoding#185

Code

Merged

chrjabs merged 9 commits intomainchrjabs/rustsat:mainfrom binary-adderchrjabs/rustsat:binary-adderCopy head branch name to clipboardNov 27, 2024

+1,990-52

Commits

Commits on Nov 20, 2024

• feat: Var and Lit constructors in const context

  chrjabs

  committed
  5113d11

  Copy full SHA for 5113d11

• feat: implement kani::Arbitrary for TernaryVal

  chrjabs

  committed
  c2092e3

  Copy full SHA for c2092e3

• fix: unnecessary mut warning in clause![]

  chrjabs

  committed
  d94bfac

  Copy full SHA for d94bfac

Commits on Nov 27, 2024

• docs: spelling

  chrjabs

  committed
  f16dc2c

  Copy full SHA for f16dc2c

• chore: clippy

  chrjabs

  committed
  73384f2

  Copy full SHA for 73384f2

• feat(encodings): BinaryAdder PB encoding

  chrjabs

  committed
  1e89f33

  Copy full SHA for 1e89f33

• docs(capi): mention panic cases

  chrjabs

  committed
  3ae4d81

  Copy full SHA for 3ae4d81

• feat(capi): C-API for binary adder encoding

  chrjabs

  committed
  1c52370

  Copy full SHA for 1c52370

• chore(ci): do not run nextest if no tests

  Show description for e7c5bec
  chrjabs

  committed
  e7c5bec

  Copy full SHA for e7c5bec