key icon indicating copy to clipboard operation
key copied to clipboard

Published 20 hours ago • verified publisher icon KeYProject

Revive work on Polymorphic Sorts

Open wadoon opened this issue 1 year ago • 2 comments

Introducing Sorts with Sort-Parameters.

Type of pull request

  • X New feature (non-breaking change which adds functionality)
  • X Breaking change (fix or feature that would cause existing functionality to change)
  • X There are changes to the (Java) code
  • X There are changes to the taclet rule base

wadoon avatar Jan 12 '24 10:01 wadoon