key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

Remove sequent formula

Open unp1 opened this issue 8 months ago • 1 comments

Intended Change

This PR prepares the ground for generalizing proof and calculus structures. It removes the superfluous SequentFormula class, which is only a behaviorless container for a term. The class is a left-over from times when we had formulas with constraints on the sequent level

It depends on PR #3472 to be merged first as it is based on that branch

Plan

  • [ ] Pass tests
  • [ ] Code cleanup

Type of pull request

  • Refactoring (behaviour should not change or only minimally change)

Ensuring quality

  • [ ] I have tested the feature as follows: tests
  • [ ] I have checked that runtime performance has not deteriorated.

The contributions within this pull request are licensed under GPLv2 (only) for inclusion in KeY.

unp1 avatar Jun 13 '24 07:06 unp1