Code

Linear constraint remover#2425

Code

Draft

Schaeff wants to merge 15 commits intomainpowdr-labs/powdr:mainfrom linear-constraint-removerpowdr-labs/powdr:linear-constraint-removerCopy head branch name to clipboard

+384-69

Commits

Commits on Feb 1, 2025

• wip

  Schaeff

  committed
  ee1fe14

  Copy full SHA for ee1fe14

Commits on Feb 3, 2025

• use existing algexpr->expr conversion, adjust tests

  Schaeff

  committed
  4901fa0

  Copy full SHA for 4901fa0

• add pilopt

  Schaeff

  committed
  8922a92

  Copy full SHA for 8922a92

• Merge branch 'main' of github.com:powdr-labs/powdr into linear-constraint-remover

  Schaeff

  committed
  517cd66

  Copy full SHA for 517cd66

• pull main

  Schaeff

  committed
  1ef509d

  Copy full SHA for 1ef509d

Commits on Feb 5, 2025

• fix wrong symbol id

  Schaeff

  committed
  f208365

  Copy full SHA for f208365

• Merge branch 'main' of github.com:powdr-labs/powdr into linear-constraint-remover

  Schaeff

  committed
  58e5b23

  Copy full SHA for 58e5b23

• Merge branch 'main' of github.com:powdr-labs/powdr into linear-constraint-remover

  Schaeff

  committed
  471014b

  Copy full SHA for 471014b

• visit intermediate polynomials when collecting challenges

  Schaeff

  committed
  feac232

  Copy full SHA for feac232

• fix more tests

  Schaeff

  committed
  9269faf

  Copy full SHA for 9269faf

• Merge branch 'main' of github.com:powdr-labs/powdr into linear-constraint-remover

  Schaeff

  committed
  875f11e

  Copy full SHA for 875f11e

Commits on Feb 6, 2025

• fix stwo next reference detection

  Schaeff

  committed
  862e2e6

  Copy full SHA for 862e2e6

• fix external witgen tests

  Schaeff

  committed
  779a974

  Copy full SHA for 779a974

• fix invalid witness test

  Schaeff

  committed
  4ea55f5

  Copy full SHA for 4ea55f5

Commits on Feb 8, 2025

• fix div test

  Schaeff

  committed
  48128b4

  Copy full SHA for 48128b4