Code

Clean up Circuit Builder#741

Code

Open

matthiasgoergens wants to merge 10 commits intomasterscroll-tech/ceno:masterfrom matthias/dev-2scroll-tech/ceno:matthias/dev-2Copy head branch name to clipboard

+4-20

Commits

Commits on Oct 28, 2024

• Random improvements

  matthiasgoergens

  committed
  05af7fd

• Clean up

  matthiasgoergens

  committed
  a545a35

• WIP

  matthiasgoergens

  committed
  310c300

• Introduce assert_satisfied_raw

  matthiasgoergens

  committed
  e27980c

• Rename

  matthiasgoergens

  committed
  0e724a6

• Merge branch 'matthias/assert_satisfied' into matthias/dev-2

  matthiasgoergens

  committed
  bd8cd67

Commits on Dec 12, 2024

• Merge remote-tracking branch 'origin/master' into matthias/dev-2

  matthiasgoergens

  committed
  2e0a39e

• Formatting

  matthiasgoergens

  committed
  123089d

• Removed

  matthiasgoergens

  committed
  2582b16

• Merge branch 'master' into matthias/dev-2

  matthiasgoergens

  authored
  1fe37ed