Code

Substitution with fuel#448

Code

Merged

oflatt merged 6 commits intomainegraphs-good/eggcc:mainfrom oflatt-subst-fuelegraphs-good/eggcc:oflatt-subst-fuelCopy head branch name to clipboardApr 12, 2024

+154-40

Commits

Commits on Apr 11, 2024

• substitution with fuel

  oflatt

  committed
  ff23172

  Copy full SHA for ff23172

• Make subst with fuel stop when no fuel

  kirstenmg

  committed
  ce1d177

  Copy full SHA for ce1d177

• Decrease fuel in Alloc state

  kirstenmg

  committed
  592e21f

  Copy full SHA for 592e21f

• Make clippy acknowledge that my function is used >:(

  kirstenmg

  committed
  ae3bf02

  Copy full SHA for ae3bf02

Commits on Apr 12, 2024

• Merge branch 'main' into oflatt-subst-fuel

  kirstenmg

  committed
  5f2961a

  Copy full SHA for 5f2961a

• Update subst with new ast

  kirstenmg

  committed
  16a54ea

  Copy full SHA for 16a54ea