Backport of KEY-2.12.1 into main#3296

Merged

wadoon merged 17 commits into

mainfrom

weigl/backport2121

Oct 13, 2023

Commits on Oct 13, 2023

add metadata for POM generation and update templates for license headers
wadoon
committed
bugfix: KeY files with errors cannot be edited.

mattulbrich
authored and
wadoon
committed
spotless: adding a space

mattulbrich
authored and
wadoon
committed
Statistics constructor from node list

FliegendeWurst
authored and
wadoon
committed
Proof macro: record statistics correctly

FliegendeWurst
authored and
wadoon
committed
Fully disable origin tracking if it is disabled

FliegendeWurst
authored and
wadoon
committed
Disable stop button once it is used

FliegendeWurst
authored and
wadoon
committed
Keep strategy info visible after applying

FliegendeWurst
authored and
wadoon
committed
Fix environments not disposed in tests

FliegendeWurst
authored and
wadoon
committed
Fix unit test

FliegendeWurst
authored and
wadoon
committed
Kill SMT solvers properly on timeout

FliegendeWurst
authored and
wadoon
committed
Fix gradle detection of git branch

FliegendeWurst
authored and
wadoon
committed
Fix rare edge case in dependency analyzer

FliegendeWurst
authored and
wadoon
committed
Fix branch selection in caching

FliegendeWurst
authored and
wadoon
committed
Fix proof tree behaviour when toggling goals

FliegendeWurst
authored and
wadoon
committed
Remove AutoClosable on KeYEnvironment

FliegendeWurst
authored and
wadoon
committed
Update build.gradle

wadoon
and
WolframPfeifer
authored