Code

Propagate known.#2325

Code

Open

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

+172-82

Commits

Commits on Dec 20, 2024

• Single step processor.

  chriseth

  committed
  cce4375

  Copy full SHA for cce4375

• Negative test.

  chriseth

  committed
  c54c0dd

  Copy full SHA for c54c0dd

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

Commits on Jan 3, 2025

• Merge branch 'single_step_simple'

  chriseth

  committed
  4fc4a2e

  Copy full SHA for 4fc4a2e

Commits on Jan 13, 2025

• Provide completed identities and store completed inside witgen_inference.

  chriseth

  committed
  64de47c

  Copy full SHA for 64de47c

• fix

  chriseth

  committed
  f44e52b

  Copy full SHA for f44e52b

Commits on Jan 14, 2025

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

  chriseth

  committed
  d8e7273

  Copy full SHA for d8e7273

• Simplify process summary.

  chriseth

  committed
  f5c1f74

  Copy full SHA for f5c1f74

• Cleanup

  chriseth

  committed
  2945d10

  Copy full SHA for 2945d10

Commits on Jan 15, 2025

• Apply suggestions from code review

  Show description for 5423bb0
  

  chriseth

  and

  georgwiese

  authored
  5423bb0

  Copy full SHA for 5423bb0

• fix expectations

  chriseth

  committed
  64b622a

  Copy full SHA for 64b622a

• fix comment.

  chriseth

  committed
  aedb50d

  Copy full SHA for aedb50d

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

  chriseth

  committed
  4477ea7

  Copy full SHA for 4477ea7

• Propagate known

  chriseth

  committed
  1b1129b

  Copy full SHA for 1b1129b

• Fix test.

  chriseth

  committed
  917f677

  Copy full SHA for 917f677

• cleanup

  chriseth

  committed
  1405bc0

  Copy full SHA for 1405bc0

• Refactor.

  chriseth

  committed
  f937252

  Copy full SHA for f937252

• Better errors.

  chriseth

  committed
  73c9d81

  Copy full SHA for 73c9d81

• Also print code generated so far.

  chriseth

  committed
  6ce7f65

  Copy full SHA for 6ce7f65

• Compile-time check for covered offset.

  chriseth

  committed
  cafd532

  Copy full SHA for cafd532

• Consider conflicting branches.

  chriseth

  committed
  5c9f1a5

  Copy full SHA for 5c9f1a5

• Check assignments.

  chriseth

  committed
  926c0ed

  Copy full SHA for 926c0ed

• Better logging.

  chriseth

  committed
  80c376f

  Copy full SHA for 80c376f

• Use BTreeSet for assignments.

  chriseth

  committed
  c90b819

  Copy full SHA for c90b819

• fmt

  chriseth

  committed
  0972be0

  Copy full SHA for 0972be0

Commits on Jan 16, 2025

• Merge branch 'provide_completed_identities'

  chriseth

  committed
  052216c

  Copy full SHA for 052216c

• Merge branch 'main' into propagate_known

  chriseth

  committed
  4038131

  Copy full SHA for 4038131

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

  chriseth

  committed
  08e897a

  Copy full SHA for 08e897a

• fix

  chriseth

  committed
  a3dc813

  Copy full SHA for a3dc813