Code

Code cleanup#3064

Code

Merged

jwiesler merged 36 commits intoKeYProject:mainKeYProject/key:mainfrom jwiesler:cleanupCopy head branch name to clipboardApr 3, 2023

+13,505-12,425

Commits

Commits on Mar 31, 2023

• Simplify asserts

  jwiesler

  committed
  cabdcfc

  Copy full SHA for cabdcfc

• Verbose and redundant statements

  jwiesler

  committed
  3682ac1

  Copy full SHA for 3682ac1

• Code style issues

  Show description for 9ea37a8
  jwiesler

  committed
  9ea37a8

  Copy full SHA for 9ea37a8

• Declaration redundancy

  jwiesler

  committed
  fbfc80d

  Copy full SHA for fbfc80d

• Control flow and boolean simplifications

  jwiesler

  committed
  7ca09ad

  Copy full SHA for 7ca09ad

• Numeric issues, Collection.addAll, initCause, manual array copies, boxing

  jwiesler

  committed
  6826fe8

  Copy full SHA for 6826fe8

• Object.equals

  jwiesler

  committed
  506b609

  Copy full SHA for 506b609

• Use UTF-8 instead of system default when converting strings from bytes

  jwiesler

  committed
  28bf2a7

  Copy full SHA for 28bf2a7

• More final fields

  jwiesler

  committed
  1e03880

  Copy full SHA for 1e03880

• Unused imports

  jwiesler

  committed
  fab73b6

  Copy full SHA for fab73b6

• More default charsets

  jwiesler

  committed
  f6f15b9

  Copy full SHA for f6f15b9

• Use Java 5

  jwiesler

  committed
  8a34537

  Copy full SHA for 8a34537

• Use Java 8

  jwiesler

  committed
  223d057

  Copy full SHA for 223d057

• Static inner classes and toArray

  jwiesler

  committed
  cc980ff

  Copy full SHA for cc980ff

• String concat in StringBuilder append

  jwiesler

  committed
  385b393

  Copy full SHA for 385b393

• String concat in StringBuilder append, String append in loop

  jwiesler

  committed
  a81c5a4

  Copy full SHA for a81c5a4

• Minor changes

  jwiesler

  committed
  7c7e06d

  Copy full SHA for 7c7e06d

• Stream api, checks already covered by other checks, weak variable types leading to casts, bugs

  jwiesler

  committed
  279f715

  Copy full SHA for 279f715

• Fix returned stream

  jwiesler

  committed
  400f219

  Copy full SHA for 400f219

• Fix macro args generics

  jwiesler

  committed
  8e195c9

  Copy full SHA for 8e195c9

• Fix test walk dir

  jwiesler

  committed
  4a2157a

  Copy full SHA for 4a2157a

• Enforce proof script argument fields not being final

  jwiesler

  committed
  d2b7b6c

  Copy full SHA for d2b7b6c

• Use parseInt instead of valueOf

  jwiesler

  committed
  daa21ce

  Copy full SHA for daa21ce

• Fix some critical warnings by removing dead code

  jwiesler

  committed
  3056bfe

  Copy full SHA for 3056bfe

• Remove java.util logging

  jwiesler

  committed
  ab9f5ef

  Copy full SHA for ab9f5ef

• Remove more manual logging

  jwiesler

  committed
  699f7ae

  Copy full SHA for 699f7ae

• Improve log output of RunAllProofsFunctional

  jwiesler

  committed
  4ad88f8

  Copy full SHA for 4ad88f8

• Replace printStackTrace with logging

  jwiesler

  committed
  97de68f

  Copy full SHA for 97de68f

• Minor changes

  jwiesler

  committed
  7c23bcb

  Copy full SHA for 7c23bcb

• Obsolete collection types

  jwiesler

  committed
  4343ae4

  Copy full SHA for 4343ae4

• Code style

  jwiesler

  committed
  a2c926d

  Copy full SHA for a2c926d

• Use slf4j.detectLoggerNameMismatch and fix issues

  jwiesler

  committed
  5af6617

  Copy full SHA for 5af6617

• Fix exception cause being dropped in MiscTools::extractURI

  jwiesler

  committed
  476e31e

  Copy full SHA for 476e31e

• Wrong logger class parameter used

  jwiesler

  committed
  d1d9fbf

  Copy full SHA for d1d9fbf

• Spotless

  jwiesler

  committed
  b903cf2

  Copy full SHA for b903cf2

Commits on Apr 3, 2023

• Merge branch 'main' into cleanup

  jwiesler

  committed
  0f92998

  Copy full SHA for 0f92998