Code

Fix loop numbering#145

Code

Draft

erdos wants to merge 10 commits intomastererdos/stencil:masterfrom fix-loop-numberingerdos/stencil:fix-loop-numberingCopy head branch name to clipboard

+134-24

Commits

Commits on Dec 16, 2022

• fix: numberings in loops are reset

  erdos

  committed
  0a74291

  Copy full SHA for 0a74291

Commits on Dec 23, 2022

• Merge remote-tracking branch 'origin/master' into fix-loop-numbering

  erdos

  committed
  bfdd574

  Copy full SHA for bfdd574

Commits on Dec 25, 2022

• wip

  erdos

  committed
  b5c228d

  Copy full SHA for b5c228d

• wip

  erdos

  committed
  6e4e915

  Copy full SHA for 6e4e915

• wip

  erdos

  committed
  2fc2473

  Copy full SHA for 2fc2473

• wip

  erdos

  committed
  ddbda23

  Copy full SHA for ddbda23

• wip

  erdos

  committed
  39ef289

  Copy full SHA for 39ef289

• wip

  erdos

  committed
  23d0a35

  Copy full SHA for 23d0a35

Commits on Dec 26, 2022

• Merge remote-tracking branch 'origin/master' into fix-loop-numbering

  erdos

  committed
  7a24894

  Copy full SHA for 7a24894

• cleanup

  erdos

  committed
  16e3ae4

  Copy full SHA for 16e3ae4