Code

Test machine stmts are block stmts#1786

Code

Draft

chriseth wants to merge 91 commits intomainpowdr-labs/powdr:mainfrom test_machine_stmts_are_block_stmtspowdr-labs/powdr:test_machine_stmts_are_block_stmtsCopy head branch name to clipboard

+749-309

Commits

Commits on Aug 15, 2024

• Support captured vars.

  chriseth

  committed
  e646167

  Copy full SHA for e646167

• Adjust arith.

  chriseth

  committed
  5dbc50e

  Copy full SHA for 5dbc50e

• clippy

  chriseth

  committed
  02a94b5

  Copy full SHA for 02a94b5

Commits on Aug 16, 2024

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

  chriseth

  committed
  5ff52f9

  Copy full SHA for 5ff52f9

• remove processor test.

  chriseth

  committed
  6eba578

  Copy full SHA for 6eba578

• fix test.

  chriseth

  committed
  99eb238

  Copy full SHA for 99eb238

• Fix arith.

  chriseth

  committed
  3bfb9f0

  Copy full SHA for 3bfb9f0

• Clippy

  chriseth

  committed
  22e6825

  Copy full SHA for 22e6825

Commits on Aug 21, 2024

• Allow captured closures.

  chriseth

  committed
  5aae58f

  Copy full SHA for 5aae58f

• Add complex test

  chriseth

  committed
  61e5ef0

  Copy full SHA for 61e5ef0

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

  chriseth

  committed
  6cc1789

  Copy full SHA for 6cc1789

• use inter as a fix

  chriseth

  committed
  2e3ee50

  Copy full SHA for 2e3ee50

Commits on Aug 22, 2024

• More arith simplifications.

  chriseth

  committed
  5ed1843

  Copy full SHA for 5ed1843

• Revert changes to arith.

  chriseth

  committed
  c3b53a1

  Copy full SHA for c3b53a1

• Allow query functions in constr context.

  chriseth

  committed
  831a603

  Copy full SHA for 831a603

• adjust type checker.

  chriseth

  committed
  d799ef8

  Copy full SHA for d799ef8

• Support prover funcitons in condenser.

  chriseth

  committed
  ef50b0c

  Copy full SHA for ef50b0c

• Some todos about how to implement witgen.

  chriseth

  committed
  5d81827

  Copy full SHA for 5d81827

Commits on Aug 23, 2024

• some eval

  chriseth

  committed
  0d9ba77

  Copy full SHA for 0d9ba77

Commits on Aug 25, 2024

• ref

  chriseth

  committed
  d97ca6b

  Copy full SHA for d97ca6b

• fix pilopt

  chriseth

  committed
  056b0c9

  Copy full SHA for 056b0c9

• extract prover func.

  chriseth

  committed
  4988f95

  Copy full SHA for 4988f95

• finish witgen.

  chriseth

  committed
  ee749b4

  Copy full SHA for ee749b4

• Improve arith.

  chriseth

  committed
  333a8d0

  Copy full SHA for 333a8d0

Commits on Aug 28, 2024

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

  chriseth

  committed
  19ad2dc

  Copy full SHA for 19ad2dc

• Merge branch 'support_captured_vars' into prover_section

  chriseth

  committed
  47b304d

  Copy full SHA for 47b304d

• Support col refs as captured variables.

  chriseth

  committed
  f13cedb

  Copy full SHA for f13cedb

• Fix test.

  chriseth

  committed
  cc0c508

  Copy full SHA for cc0c508

• Support col refs as captured variables.

  chriseth

  committed
  206463e

  Copy full SHA for 206463e

• fix test

  chriseth

  committed
  e1c2596

  Copy full SHA for e1c2596

• fix display

  chriseth

  committed
  cab67e1

  Copy full SHA for cab67e1

• fix tests.

  chriseth

  committed
  125690b

  Copy full SHA for 125690b

• Extract build_machine.

  chriseth

  committed
  0deb05b

  Copy full SHA for 0deb05b

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

  chriseth

  committed
  6e2067c

  Copy full SHA for 6e2067c

• Extract prover functions.

  chriseth

  committed
  ed01836

  Copy full SHA for ed01836

• prover functions

  chriseth

  committed
  bb520c3

  Copy full SHA for bb520c3

Commits on Aug 30, 2024

• Check extracted prover functinos.

  chriseth

  committed
  bfcc018

  Copy full SHA for bfcc018

• Process prover funcitons.

  chriseth

  committed
  7d7e0f8

  Copy full SHA for 7d7e0f8

• Refactor double sorted witness.

  chriseth

  committed
  1c516b4

  Copy full SHA for 1c516b4

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

  chriseth

  committed
  fd43d22

  Copy full SHA for fd43d22

• Forward prover funcitons to processor.

  chriseth

  committed
  2c4fd69

  Copy full SHA for 2c4fd69

• Prevent and detect multiple updates.

  chriseth

  committed
  1f50cad

  Copy full SHA for 1f50cad

• Fix

  chriseth

  committed
  01dbda9

  Copy full SHA for 01dbda9

• Remove comment.

  chriseth

  committed
  5b04ab4

  Copy full SHA for 5b04ab4

Commits on Sep 2, 2024

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

  chriseth

  committed
  a1e88cb

  Copy full SHA for a1e88cb

• Introduce machine parts.

  chriseth

  committed
  cd29ec0

  Copy full SHA for cd29ec0

• fmt

  chriseth

  committed
  bf574d6

  Copy full SHA for bf574d6

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

  chriseth

  committed
  e3c6c33

  Copy full SHA for e3c6c33

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

  chriseth

  committed
  291e092

  Copy full SHA for 291e092

• Merge branch 'introduce_machine_parts' into prover_section

  chriseth

  committed
  1ff0602

  Copy full SHA for 1ff0602

• Better error.

  chriseth

  committed
  ddaa6c7

  Copy full SHA for ddaa6c7

Commits on Sep 3, 2024

• Add try_eval and fix arith.asm.

  chriseth

  committed
  98c169e

  Copy full SHA for 98c169e

• Re-introduce fixed data.

  chriseth

  committed
  cb4ecc8

  Copy full SHA for cb4ecc8

• Use MachineParts::common_degree for write once memory machine.

  chriseth

  committed
  d1e6276

  Copy full SHA for d1e6276

• Make fixed_data private.

  chriseth

  committed
  3395422

  Copy full SHA for 3395422

• Another fix, but is it needed?

  chriseth

  committed
  34b9d2d

  Copy full SHA for 34b9d2d

• more fix.

  chriseth

  committed
  9a6a7b3

  Copy full SHA for 9a6a7b3

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

  chriseth

  committed
  400b0c4

  Copy full SHA for 400b0c4

• Merge branch 'introduce_machine_parts' into prover_section

  chriseth

  committed
  39a5490

  Copy full SHA for 39a5490

• Review comments.

  chriseth

  committed
  dcdb391

  Copy full SHA for dcdb391

Commits on Sep 4, 2024

• try to fix

  chriseth

  committed
  f450915

  Copy full SHA for f450915

• actual fix.

  chriseth

  committed
  f7a3771

  Copy full SHA for f7a3771

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

  chriseth

  committed
  b0f859d

  Copy full SHA for b0f859d

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

  chriseth

  committed
  9c3d394

  Copy full SHA for 9c3d394

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

  chriseth

  committed
  d2f84a0

  Copy full SHA for d2f84a0

• Cleanup

  chriseth

  committed
  1e48500

  Copy full SHA for 1e48500

• Merge remote-tracking branch 'origin/support_captured_vars' into prover_section

  chriseth

  committed
  b20b8ec

  Copy full SHA for b20b8ec

• Fix warning about multiple machines for prover function.

  chriseth

  committed
  205db3a

  Copy full SHA for 205db3a

Commits on Sep 6, 2024

• arith hints

  chriseth

  committed
  45de78c

  Copy full SHA for 45de78c

• comments

  chriseth

  committed
  9784f22

  Copy full SHA for 9784f22

• Remove more query functions.

  chriseth

  committed
  c7c99a2

  Copy full SHA for c7c99a2

• Filter out higher-stage prover functions.

  chriseth

  committed
  439d365

  Copy full SHA for 439d365

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

  chriseth

  committed
  270e9f6

  Copy full SHA for 270e9f6

• funs

  chriseth

  committed
  6a2c2af

  Copy full SHA for 6a2c2af

• Merge branch 'prover_section' into more_hints_for_std

  chriseth

  committed
  d351159

  Copy full SHA for d351159

• fix

  chriseth

  committed
  d093196

  Copy full SHA for d093196

• more prover functions.

  chriseth

  committed
  70f4fc6

  Copy full SHA for 70f4fc6

• Better logging and challenge handling.

  chriseth

  committed
  d1cf657

  Copy full SHA for d1cf657

• more hints.

  chriseth

  committed
  5abe87b

  Copy full SHA for 5abe87b

• Better logging and challenge handling.

  chriseth

  committed
  76db680

  Copy full SHA for 76db680

• Filter prover function by stage also in sub-machines.

  chriseth

  committed
  251de66

  Copy full SHA for 251de66

• Merge branch 'prover_section' into more_hints_for_std

  chriseth

  committed
  9433fea

  Copy full SHA for 9433fea

• more prover.

  chriseth

  committed
  99ad521

  Copy full SHA for 99ad521

Commits on Sep 9, 2024

• Parse statements inside block for machines.

  chriseth

  committed
  30312d1

  Copy full SHA for 30312d1

Commits on Sep 10, 2024

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

  chriseth

  committed
  0b80ef7

  Copy full SHA for 0b80ef7

Commits on Sep 11, 2024

• Review comments.

  chriseth

  committed
  289fa9e

  Copy full SHA for 289fa9e

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

  chriseth

  committed
  49fd04d

  Copy full SHA for 49fd04d

• Update comment.

  chriseth

  committed
  041e7cf

  Copy full SHA for 041e7cf

• Merge branch 'machine_statements_are_block_statements' into test_stmt

  chriseth

  committed
  cf69a08

  Copy full SHA for cf69a08

• Merge branch 'more_arith_hints' into test_stmt

  chriseth

  committed
  2e117cc

  Copy full SHA for 2e117cc

• Merge branch 'more_hints_for_std' into test_stmt

  chriseth

  committed
  c913b9a

  Copy full SHA for c913b9a