Code

Inline call [Stylistic Refactoring]#982

Code

Merged

keyboardDrummer merged 7 commits intoboogie-org:masterboogie-org/boogie:masterfrom typerSniper:inline-calltyperSniper/boogie:inline-callCopy head branch name to clipboardNov 12, 2024

+16-16

Commits

Commits on Nov 7, 2024

• implement inlining for call attributed

  typerSniper

  committed
  149c376

  Copy full SHA for 149c376

• fix space

  typerSniper

  committed
  86dd654

  Copy full SHA for 86dd654

• fix space

  typerSniper

  committed
  e453d8d

  Copy full SHA for e453d8d

• rem print

  typerSniper

  committed
  a525278

  Copy full SHA for a525278

Commits on Nov 8, 2024

• tweaks

  typerSniper

  committed
  bc881cf

  Copy full SHA for bc881cf

Commits on Nov 12, 2024

• pascal case

  typerSniper

  committed
  f0777e0

  Copy full SHA for f0777e0

• merge

  typerSniper

  committed
  3474a4a

  Copy full SHA for 3474a4a