Code

Extract refactorings from #952#957

Code

Merged

keyboardDrummer merged 8 commits intoboogie-org:masterboogie-org/boogie:masterfrom keyboardDrummer:refactorkeyboardDrummer/boogie:refactorCopy head branch name to clipboardOct 3, 2024

+1,025-1,049

Commits

Commits on Oct 2, 2024

• Move ICarriedAttributes

  keyboardDrummer

  committed
  3b4e655

  Copy full SHA for 3b4e655

• Move some code into DesugarReturns

  keyboardDrummer

  committed
  34dc968

  Copy full SHA for 34dc968

• Move some files

  keyboardDrummer

  committed
  0be3339

  Copy full SHA for 0be3339

Commits on Oct 3, 2024

• Refactoring

  keyboardDrummer

  committed
  c016d95

  Copy full SHA for c016d95

• Refactoring

  keyboardDrummer

  committed
  5e6c0a9

  Copy full SHA for 5e6c0a9

• Extract some code into file RemoveBackEdges

  keyboardDrummer

  committed
  dab6442

  Copy full SHA for dab6442

• Refactoring

  keyboardDrummer

  committed
  cb17b6f

  Copy full SHA for cb17b6f

• Fix

  keyboardDrummer

  committed
  3b0b961

  Copy full SHA for 3b0b961