Code

Adopt scalafmt for Scala code style#3841

Code

Merged

rv-jenkins merged 15 commits intodevelopruntimeverification/k:developfrom scalafmtruntimeverification/k:scalafmtCopy head branch name to clipboardDec 8, 2023

+2,888-1,988

Commits

Commits on Dec 5, 2023

• Fix indentation of pom.xml

  Scott-Guest

  committed
  c385252

  Copy full SHA for c385252

• Replace fmt-maven-plugin with spotless for Java formatting

  Scott-Guest

  committed
  b74bade

  Copy full SHA for b74bade

• Add scalafmt to spotless configuration

  Scott-Guest

  committed
  8a577d8

  Copy full SHA for 8a577d8

• Format without alignment

  Scott-Guest

  committed
  506616c

  Copy full SHA for 506616c

• Format with alignment

  Scott-Guest

  committed
  602fd2e

  Copy full SHA for 602fd2e

• Merge remote-tracking branch 'origin/develop' into scalafmt

  Scott-Guest

  committed
  ad328fa

  Copy full SHA for ad328fa

• Set spaces.inImportCurlyBraces = true as this seems to be idiomatic

  Scott-Guest

  committed
  b19e0e2

  Copy full SHA for b19e0e2

• Fix comment formatting

  Scott-Guest

  committed
  bfb91f1

  Copy full SHA for bfb91f1

• Set comments.wrap = true so that comments and docstrings are handled uniformly

  Scott-Guest

  committed
  5fc8864

  Copy full SHA for 5fc8864

Commits on Dec 6, 2023

• Merge branch 'develop' into scalafmt

  rv-jenkins

  authored
  2fcd756

  Copy full SHA for 2fcd756

• Reformat after merge

  Scott-Guest

  committed
  c2c36b5

  Copy full SHA for c2c36b5

Commits on Dec 7, 2023

• Merge branch 'develop' into scalafmt

  Baltoli

  authored
  0718b38

  Copy full SHA for 0718b38

• Merge branch 'develop' into scalafmt

  rv-jenkins

  authored
  0da3548

  Copy full SHA for 0da3548

• Merge branch 'develop' into scalafmt

  rv-jenkins

  authored
  8c3211e

  Copy full SHA for 8c3211e

Commits on Dec 8, 2023

• Merge branch 'develop' into scalafmt

  jberthold

  authored
  22121f5

  Copy full SHA for 22121f5