Alexander Weigl
Alexander Weigl
## Refactoring This PR starts the removal of generic data classes in favor of Java records (aka. named tuples). In this PR, only `Triple` and `Quadruple` are removed. In general,...
After #3195, set and assert/assume statements are not handled inside Java anymore. Previous to this fix, the set statements were a regular copy assignment in Java. Therefore, classes were needed...
This pull request adds module support in KeY by adding `module-info.java` and doing the necessary stuff. Modules for `key.util` and `key.ncore` have already been added by @Drodt on `main`. This...
## Related Issue We are currently using a too-old version of the eclipse formatted. This shows in non- or bad formatting Java 17+ constructs. There is no technical need to...
As discussed in a KaKeY meeting: We introduce a new "section" in KeY files dedicated to metadata: ``` \metadata ; ``` In contrast to `\settings` and `\proofObligation`, this section does...
This PR adds the newly introduced JML names for entities to KeY. Such labels are exploited inside the KeY's proof tree as branching labels. And may later become accessible in...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1723) where the discussions are preserved. ---- ## Description When trying to apply the `lesser-or-equal than distinction` rule to a floating point comparison on the...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1652) where the discussions are preserved. ---- There tend to be a lot of random runtime exceptions which should not ever occur. Instead of having...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/501) where the discussions are preserved. ---- * Mantis: [MT-1096](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1096) * Submitted on: 2011-05-20 by (at)grahl * Updated: 2012-02-08 ### Description > Every change concerning...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/29) where the discussions are preserved. ---- * Mantis: [MT-1499](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1499) * Submitted on: 2014-10-28 by (at)mulbrich * Updated: 2014-10-29 ### Description > When KeY encounters...