Code

Adopt Google Java style#3757

Code

Merged

rv-jenkins merged 14 commits intodevelopruntimeverification/k:developfrom big-reformatruntimeverification/k:big-reformatCopy head branch name to clipboardNov 1, 2023

+34,355-29,016

Commits

Commits on Oct 26, 2023

• Try checking formatting

  Baltoli

  committed
  0003db8

  Copy full SHA for 0003db8

• Monolithic reformat

  Baltoli

  committed
  bde1451

  Copy full SHA for bde1451

• Address KoreBackend

  Baltoli

  committed
  98dea9d

  Copy full SHA for 98dea9d

• Address GenerateSortPredicateRules

  Baltoli

  committed
  1c403d2

  Copy full SHA for 1c403d2

• Depend on formatting check to fail fast

  Baltoli

  committed
  8fac506

  Copy full SHA for 8fac506

Commits on Oct 27, 2023

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  f181093

  Copy full SHA for f181093

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  5282c1c

  Copy full SHA for 5282c1c

Commits on Oct 30, 2023

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  9c2cc95

  Copy full SHA for 9c2cc95

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  4a3ce83

  Copy full SHA for 4a3ce83

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  7280673

  Copy full SHA for 7280673

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  fa01192

  Copy full SHA for fa01192

Commits on Oct 31, 2023

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  cec0785

  Copy full SHA for cec0785

Commits on Nov 1, 2023

• Merge branch 'develop' into big-reformat

  Baltoli

  authored
  6092ad8

  Copy full SHA for 6092ad8

• Address comment formatting

  Baltoli

  committed
  1ca620f

  Copy full SHA for 1ca620f