Code

Lean: handling foreach Loops#990

Code

Merged

bacam merged 10 commits intorems-project:sail2rems-project/sail:sail2from ineol:loopsineol/sail:loopsCopy head branch name to clipboardFeb 13, 2025

+292-68

Commits

Commits on Feb 13, 2025

• Lean: loops

  ineol

  committed
  c9ce70c

  Copy full SHA for c9ce70c

• Adding loops

  lfrenot

  committed
  6721f7f

  Copy full SHA for 6721f7f

• monadic test almost functioning

  lfrenot

  committed
  a45d933

  Copy full SHA for a45d933

• fixing pure that wasn't supposed to be there

  lfrenot

  committed
  f2bc5bd

  Copy full SHA for f2bc5bd

• formatting

  lfrenot

  committed
  49cd449

  Copy full SHA for 49cd449

• Merge remote-tracking branch 'upstream/sail2' into loops

  lfrenot

  committed
  6447f3c

  Copy full SHA for 6447f3c

• formatting

  lfrenot

  committed
  bc8211a

  Copy full SHA for bc8211a

• fix index in foreach_

  lfrenot

  committed
  58e28bf

  Copy full SHA for 58e28bf

• adding extra tests

  lfrenot

  committed
  6ecc8da

  Copy full SHA for 6ecc8da

• Leo nit

  lfrenot

  committed
  e1e14b4

  Copy full SHA for e1e14b4