Code

Single step with branching#2274

Code

Merged

georgwiese merged 45 commits intomainpowdr-labs/powdr:mainfrom single_step_with_branchingpowdr-labs/powdr:single_step_with_branchingCopy head branch name to clipboardJan 7, 2025

Commits

Commits on Dec 19, 2024

• Bisect range constraints.

  chriseth

  committed
  3710c19

  Copy full SHA for 3710c19

Commits on Dec 20, 2024

• fix mask.

  chriseth

  committed
  200cfa9

  Copy full SHA for 200cfa9

• remove commented-out code.

  chriseth

  committed
  00f53da

  Copy full SHA for 00f53da

• Single step processor.

  chriseth

  committed
  cce4375

  Copy full SHA for cce4375

• Negative test.

  chriseth

  committed
  c54c0dd

  Copy full SHA for c54c0dd

• branching test.

  chriseth

  committed
  71666c0

  Copy full SHA for 71666c0

• loop

  chriseth

  committed
  96b3660

  Copy full SHA for 96b3660

• c

  chriseth

  committed
  405bdc1

  Copy full SHA for 405bdc1

• compute branch var

  chriseth

  committed
  2bdbe81

  Copy full SHA for 2bdbe81

• Merge branch 'bisect' into single_step_with_branching

  chriseth

  committed
  140e7d4

  Copy full SHA for 140e7d4

• almost branch.

  chriseth

  committed
  79dd351

  Copy full SHA for 79dd351

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

  chriseth

  committed
  e5b9846

  Copy full SHA for e5b9846

• Add "can process"

  chriseth

  committed
  e41976a

  Copy full SHA for e41976a

• Fix test.

  chriseth

  committed
  b346f62

  Copy full SHA for b346f62

• Fix test again.

  chriseth

  committed
  e271ef7

  Copy full SHA for e271ef7

• fix test.

  chriseth

  committed
  0f8ac79

  Copy full SHA for 0f8ac79

• swap branches

  chriseth

  committed
  b58afc1

  Copy full SHA for b58afc1

Commits on Jan 2, 2025

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

  chriseth

  committed
  a40a133

  Copy full SHA for a40a133

• Apply suggestions from code review

  Show description for eb245ac
  

  chriseth

  and

  georgwiese

  authored
  eb245ac

  Copy full SHA for eb245ac

• Merge branch 'single_step_simple' of ssh://github.com/powdr-labs/powdr into single_step_simple

  chriseth

  committed
  1530cae

  Copy full SHA for 1530cae

• adjust tests.

  chriseth

  committed
  1588eb2

  Copy full SHA for 1588eb2

• Remove test function.

  chriseth

  committed
  cc70c19

  Copy full SHA for cc70c19

• Merge branch 'remove_test_function' into single_step_simple

  chriseth

  committed
  b13df2d

  Copy full SHA for b13df2d

• Fix testing functions.

  chriseth

  committed
  96d5506

  Copy full SHA for 96d5506

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

  chriseth

  committed
  b6a2ad9

  Copy full SHA for b6a2ad9

• Merge branch 'single_step_simple' into single_step_with_branching

  chriseth

  committed
  b799c35

  Copy full SHA for b799c35

• Fix merge

  chriseth

  committed
  819d794

  Copy full SHA for 819d794

• Fix test.

  chriseth

  committed
  9604c79

  Copy full SHA for 9604c79

• Fix written vars.

  chriseth

  committed
  250253c

  Copy full SHA for 250253c

• Fix test expectation.

  chriseth

  committed
  93373a3

  Copy full SHA for 93373a3

• Code generation for branches.

  chriseth

  committed
  ce159f6

  Copy full SHA for ce159f6

• clippy

  chriseth

  committed
  b45dd7f

  Copy full SHA for b45dd7f

Commits on Jan 3, 2025

• Merge branch 'single_step_simple'

  chriseth

  committed
  4fc4a2e

  Copy full SHA for 4fc4a2e

• Merge commit '50fd4580b' into single_step_with_branching

  chriseth

  committed
  3517df3

  Copy full SHA for 3517df3

• Merge branch 'main' into single_step_with_branching

  chriseth

  committed
  8fab6ae

  Copy full SHA for 8fab6ae

• Fix formatting and tests.

  chriseth

  committed
  cf9ea9f

  Copy full SHA for cf9ea9f

Commits on Jan 6, 2025

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

  Show description for 352d63f
  

  chriseth

  and

  georgwiese

  authored
  352d63f

  Copy full SHA for 352d63f

• Extend comment

  chriseth

  committed
  232b0d8

  Copy full SHA for 232b0d8

• Merge branch 'single_step_with_branching' of ssh://github.com/powdr-labs/powdr into single_step_with_branching

  chriseth

  committed
  671546f

  Copy full SHA for 671546f

• Return both copies in on_branch.

  chriseth

  committed
  7d69841

  Copy full SHA for 7d69841

• Improve error message.

  chriseth

  committed
  df85d7f

  Copy full SHA for df85d7f

• Apply suggestions from code review

  Show description for 0242bfe
  

  chriseth

  and

  georgwiese

  authored
  0242bfe

  Copy full SHA for 0242bfe

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

  Show description for 0ab316e
  

  chriseth

  and

  georgwiese

  authored
  0ab316e

  Copy full SHA for 0ab316e

• Test codegen.

  chriseth

  committed
  747ff3b

  Copy full SHA for 747ff3b

• Merge branch 'single_step_with_branching' of ssh://github.com/powdr-labs/powdr into single_step_with_branching

  chriseth

  committed
  c4cbc05

  Copy full SHA for c4cbc05