Code

Make witin_namespace_map more robust#465

Code

Closed

matthiasgoergens wants to merge 9 commits intomasterscroll-tech/ceno:masterfrom matthias/circuitbuilderscroll-tech/ceno:matthias/circuitbuilderCopy head branch name to clipboard

+249-299

Commits

Commits on Oct 27, 2024

• Rename in preparation for removal

  matthiasgoergens

  committed
  da805bf

  Copy full SHA for da805bf

• Name back

  matthiasgoergens

  committed
  73b7216

  Copy full SHA for 73b7216

• Move

  matthiasgoergens

  committed
  404b112

  Copy full SHA for 404b112

• Rename to prepare for removal

  matthiasgoergens

  committed
  b3b43d4

  Copy full SHA for b3b43d4

• Same for num_fixed

  matthiasgoergens

  committed
  464c2df

  Copy full SHA for 464c2df

• Merge branch 'matthias/num-fixed-remove' into matthias/circuitbuilder

  matthiasgoergens

  committed
  025ea3d

  Copy full SHA for 025ea3d

• Remove extra whitespace

  matthiasgoergens

  committed
  333c87a

  Copy full SHA for 333c87a

• Simplify

  matthiasgoergens

  committed
  323e376

  Copy full SHA for 323e376

• Clippy

  matthiasgoergens

  committed
  f430d05

  Copy full SHA for f430d05