Code

Removal of Triple, and Quadruple#3529

Code

Merged

wadoon merged 10 commits intomainKeYProject/key:mainfrom weigl/recordsftwKeYProject/key:weigl/recordsftwCopy head branch name to clipboardDec 5, 2024

+574-586

Commits

Commits on Nov 28, 2024

• Removal of Quadruple.java

  wadoon

  committed
  7342cbd

  Copy full SHA for 7342cbd

• Removal of the Triple class

  wadoon

  committed
  ec83987

  Copy full SHA for ec83987

• fix compile errors

  wadoon

  committed
  6079909

  Copy full SHA for 6079909

• forgot ProofScriptEntry

  wadoon

  committed
  3c17665

  Copy full SHA for 3c17665

• fix compile errors due to merging

  wadoon

  committed
  8c620c6

  Copy full SHA for 8c620c6

• fix error in expecting proof script if there is none

  wadoon

  committed
  8e8b377

  Copy full SHA for 8e8b377

• reformat fix finalize() deprecation

  wadoon

  committed
  101e281

  Copy full SHA for 101e281

• add javadoc

  wadoon

  committed
  a217871

  Copy full SHA for a217871

• add javadoc

  wadoon

  committed
  f658d4f

  Copy full SHA for f658d4f

Commits on Dec 5, 2024

• resolve reviewer requests

  wadoon

  committed
  7c41529

  Copy full SHA for 7c41529