Code

Removal of Triple, and Quadruple#3399

Code

Closed

wadoon wants to merge 6 commits intoKeYProject:mainKeYProject/key:mainfrom wadoon:weigl/recordsftwwadoon/key:weigl/recordsftwCopy head branch name to clipboard

+431-512

Commits

Commits on Nov 23, 2024

• Removal of Quadruple.java

  wadoon

  committed
  9a1db11

• Removal of the Triple class

  wadoon

  committed
  542f888

• fix compile errors

  wadoon

  committed
  74061a8

• forgot ProofScriptEntry

  wadoon

  committed
  1b50593

• fix compile errors due to merging

  wadoon

  committed
  63d8440

• fix error in expecting proof script if there is none

  wadoon

  committed
  cc91a9c