Code

Prover functions in queue#2461

Code

Merged

chriseth merged 31 commits intomainpowdr-labs/powdr:mainfrom prover_functions_in_queuepowdr-labs/powdr:prover_functions_in_queueCopy head branch name to clipboardFeb 10, 2025

+173-167

Commits

Commits on Feb 6, 2025

• evaluate eagerly

  chriseth

  committed
  01fda86

  Copy full SHA for 01fda86

• oe

  chriseth

  committed
  144e066

  Copy full SHA for 144e066

• x

  chriseth

  committed
  eb79b42

  Copy full SHA for eb79b42

• fix

  chriseth

  committed
  7f9d358

  Copy full SHA for 7f9d358

• x

  chriseth

  committed
  f549ab0

  Copy full SHA for f549ab0

• x

  chriseth

  committed
  f3c0c10

  Copy full SHA for f3c0c10

• x

  chriseth

  committed
  d1bbde6

  Copy full SHA for d1bbde6

• x

  chriseth

  committed
  47604d0

  Copy full SHA for 47604d0

• x

  chriseth

  committed
  13ea71a

  Copy full SHA for 13ea71a

• x

  chriseth

  committed
  7183a49

  Copy full SHA for 7183a49

• x

  chriseth

  committed
  dc08751

  Copy full SHA for dc08751

• x

  chriseth

  committed
  ebf4612

  Copy full SHA for ebf4612

• clippy

  chriseth

  committed
  eb78a9e

  Copy full SHA for eb78a9e

• move

  chriseth

  committed
  33fc52e

  Copy full SHA for 33fc52e

• fix

  chriseth

  committed
  4583672

  Copy full SHA for 4583672

• Handle assignments in identity queue as well

  chriseth

  committed
  04e9a9a

  Copy full SHA for 04e9a9a

• fix

  chriseth

  committed
  df24e90

  Copy full SHA for df24e90

• clippy

  chriseth

  committed
  b705223

  Copy full SHA for b705223

• Remove process assignments.

  chriseth

  committed
  5347756

  Copy full SHA for 5347756

Commits on Feb 7, 2025

• fix tests.

  chriseth

  committed
  160cf10

  Copy full SHA for 160cf10

• remove assignments.

  chriseth

  committed
  e4d29ee

  Copy full SHA for e4d29ee

• fix tests.

  chriseth

  committed
  b1a34d8

  Copy full SHA for b1a34d8

• Merge remote-tracking branch 'origin/main' into handle-assignments-in-queue

  chriseth

  committed
  e82e18f

  Copy full SHA for e82e18f

• Sort assignments first.

  chriseth

  committed
  4564eac

  Copy full SHA for 4564eac

• Prover functions in queue.

  chriseth

  committed
  7063105

  Copy full SHA for 7063105

• Refactor reference computation.

  chriseth

  committed
  8cce9c8

  Copy full SHA for 8cce9c8

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

  chriseth

  committed
  bca4d9d

  Copy full SHA for bca4d9d

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

  chriseth

  committed
  afd3830

  Copy full SHA for afd3830

• Merge branch 'move_assignments_to_processor' into prover_functions_in_queue

  chriseth

  committed
  2bf52ad

  Copy full SHA for 2bf52ad

• Prevent clippy suggestion.

  chriseth

  committed
  c63dc65

  Copy full SHA for c63dc65

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

  chriseth

  committed
  93d49e4

  Copy full SHA for 93d49e4