Code

Add sub test.#2577

Code

Draft

chriseth wants to merge 35 commits intomainpowdr-labs/powdr:mainfrom add_sub_testpowdr-labs/powdr:add_sub_testCopy head branch name to clipboard

Commits

Commits on Mar 17, 2025

• Solve bit decomposition with negative coefficients.

  chriseth

  committed
  5f9c452

  Copy full SHA for 5f9c452

• Make bit decomposition its own effect.

  chriseth

  committed
  bf43c73

  Copy full SHA for bf43c73

• fixes

  chriseth

  committed
  99558c2

  Copy full SHA for 99558c2

• Remove negative case since this is now also covered.

  chriseth

  committed
  f4f8a28

  Copy full SHA for f4f8a28

• Update test expectations.

  chriseth

  committed
  f5fe3f5

  Copy full SHA for f5fe3f5

• Implement missing functions.

  chriseth

  committed
  1a378c3

  Copy full SHA for 1a378c3

Commits on Mar 18, 2025

• Codegen for bit decomposition.

  chriseth

  committed
  fcc5190

  Copy full SHA for fcc5190

• clippy

  chriseth

  committed
  7b4780e

  Copy full SHA for 7b4780e

• Test with negative value.

  chriseth

  committed
  94a8cc4

  Copy full SHA for 94a8cc4

• Use shift instead of division.

  chriseth

  committed
  44bdd08

  Copy full SHA for 44bdd08

• Fix typo.

  chriseth

  committed
  d2980dd

  Copy full SHA for d2980dd

Commits on Mar 19, 2025

• Bit decomposition interpreter.

  chriseth

  committed
  a3b210c

  Copy full SHA for a3b210c

• Jump through some hoops.

  chriseth

  committed
  2e7d3a7

  Copy full SHA for 2e7d3a7

• Tests and fixes.

  chriseth

  committed
  4ddae64

  Copy full SHA for 4ddae64

• Merge remote-tracking branch 'origin/main' into bit_decomp_interpreter

  chriseth

  committed
  721cd36

  Copy full SHA for 721cd36

Commits on Mar 20, 2025

• Cover check.

  chriseth

  committed
  589963b

  Copy full SHA for 589963b

• Update executor/src/witgen/jit/compiler.rs

  Show description for 977f106
  

  chriseth

  and

  georgwiese

  authored
  977f106

  Copy full SHA for 977f106

• Review.

  chriseth

  committed
  14647d1

  Copy full SHA for 14647d1

• Remove bitand_signed_negated.

  chriseth

  committed
  2e87944

  Copy full SHA for 2e87944

• debugging

  chriseth

  committed
  0906258

  Copy full SHA for 0906258

• Add comment.

  chriseth

  committed
  1059fa6

  Copy full SHA for 1059fa6

• Make all variables to be assigned in the branch mutable.

  chriseth

  committed
  5cf50ee

  Copy full SHA for 5cf50ee

• Revert "debugging"

  Show description for 00750c8
  chriseth

  committed
  00750c8

  Copy full SHA for 00750c8

• remove debug

  chriseth

  committed
  f71190c

  Copy full SHA for f71190c

• Fix expectation.

  chriseth

  committed
  d398c25

  Copy full SHA for d398c25

Commits on Mar 21, 2025

• Merge remote-tracking branch 'origin/main' into solve_bit_decomposition_with_negative_numbers

  chriseth

  committed
  85a3a4d

  Copy full SHA for 85a3a4d

Commits on Mar 24, 2025

• Merge remote-tracking branch 'origin/main' into solve_bit_decomposition_with_negative_numbers

  chriseth

  committed
  1c1eaa2

  Copy full SHA for 1c1eaa2

• Add sub test.

  chriseth

  committed
  15ffafd

  Copy full SHA for 15ffafd

• comment.

  chriseth

  committed
  f113904

  Copy full SHA for f113904

• Use babybear.

  chriseth

  committed
  170ccce

  Copy full SHA for 170ccce

• Merge remote-tracking branch 'origin/main' into solve_bit_decomposition_with_negative_numbers

  chriseth

  committed
  ea0a974

  Copy full SHA for ea0a974

• Merge branch 'solve_bit_decomposition_with_negative_numbers' into add_sub_test

  chriseth

  committed
  4b994fd

  Copy full SHA for 4b994fd

• Merge branch 'bit_decomp_interpreter' into add_sub_test

  chriseth

  committed
  2ed4e01

  Copy full SHA for 2ed4e01

Commits on Mar 25, 2025

• tests.

  chriseth

  committed
  2a1127a

  Copy full SHA for 2a1127a

• explanation.

  chriseth

  committed
  a09ed44

  Copy full SHA for a09ed44