Code

Several automated refactorings#955

Code

Merged

keyboardDrummer merged 1 commit intoboogie-org:masterboogie-org/boogie:masterfrom keyboardDrummer:focusRefactoringkeyboardDrummer/boogie:focusRefactoringCopy head branch name to clipboardOct 1, 2024

+783-758

Commits

Commits on Sep 30, 2024

• A bunch of fully automatic Rider refactoring operation, and a few renames

  keyboardDrummer

  committed
  cc685ef

  Copy full SHA for cc685ef