Code

Remove SequentFormula class#3478

Code

Draft

unp1 wants to merge 17 commits intoKeYProject:mainKeYProject/key:mainfrom Drodt:removeSequentFormulaDrodt/key:removeSequentFormulaCopy head branch name to clipboard

+2,362-1,960

Commits

Commits on May 29, 2024

• API design

  Drodt

  committed
  b41c2b7

  Copy full SHA for b41c2b7

• Increase Java version

  Drodt

  committed
  179d71e

  Copy full SHA for 179d71e

• Implement cursor

  Drodt

  committed
  c168bb7

  Copy full SHA for c168bb7

• Start implementation of traversal

  Drodt

  committed
  fe83fc8

  Copy full SHA for fe83fc8

• Implement missing methods

  Drodt

  committed
  b48ae73

  Copy full SHA for b48ae73

• Clean up inheritance

  Drodt

  committed
  1bb54fc

  Copy full SHA for 1bb54fc

• Remove SVSubstitute

  Drodt

  committed
  92e0ae9

  Copy full SHA for 92e0ae9

Commits on Jun 5, 2024

• Add comments and next() method

  Drodt

  committed
  38f16c2

  Copy full SHA for 38f16c2

• Format

  Drodt

  committed
  7fd9e47

  Copy full SHA for 7fd9e47

Commits on Jun 7, 2024

• Fix goToNextSibling() (thx Tobias)

  Drodt

  committed
  4af2a6c

  Copy full SHA for 4af2a6c

• Fix and test goToNext()

  Drodt

  committed
  a8f975d

  Copy full SHA for a8f975d

Commits on Jun 13, 2024

• Removes class SequentFormula

  Show description for 7b806ce
  unp1

  committed
  7b806ce

  Copy full SHA for 7b806ce

• Fix tests

  unp1

  committed
  5f71f24

  Copy full SHA for 5f71f24

• Fix more tests

  unp1

  committed
  b9d724a

  Copy full SHA for b9d724a

• Fix slicing to work with terms instead of SequentFormulas

  unp1

  committed
  c09bf0f

  Copy full SHA for c09bf0f

• Merge branch 'main' of github.com:keyproject/key into removeSequentFormula

  unp1

  committed
  7b560f1

  Copy full SHA for 7b560f1

Commits on Jun 14, 2024

• Merge branch 'main' of github.com:keyproject/key into removeSequentFormula

  unp1

  committed
  fca7bd8

  Copy full SHA for fca7bd8