Alexander Weigl

Remove the version lock for JDT in the spotless configurations, b/c the new version can handle all classes w/o error. Also, apply spotless to the code basis. It seems, that...

Package structured reworked for sealed packages

1

This brings some clean-ups of the #3451 branch to main, without adding `module-info.java` files. Features * distinct packages for each (gradle) module * fixing service loader files

Re-enable sonarqube for quality assessment

2

## Issue As discussed in the kakey meetting, the current situation of the quality assessment tool is rather unsatisfying. This PR removes the current tools (pmd, checkstyle, qodana, codeql) in...

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1535) where the discussions are preserved. ---- ## Description Currently a proof obligation is created for every block contract in a Java project regardless of...

Soundness hole with Contract axiom

1

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1704) where the discussions are preserved. ---- Using the contract axiom while proving a model method allows to introduce soundness holes. Or am I doing...