Alexander Weigl

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1703) where the discussions are preserved. ---- This feature request documents the need for an option to omit all type hierarchy related symbols (e.g. u2i/i2u,...

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1621) where the discussions are preserved. ---- `IssueDialog` and `EditSourceFileAction` should be rewritten. Currently, it is unclear when "Edit File" button is enabled in the...

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1663) where the discussions are preserved. ---- ## Description The story is well-known (see #491) and a solution exists but I think there could be...

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1694) where the discussions are preserved. ---- ## Description The new exception dialogue has nice UI features. However, there are some teething issues. This is...

Overloaded Operators for KeY lang

2

This MR brings overloaded operators to KeY lang: 1. On function and predicate definitions you can additional add prefix, infix, and postfix notations. ``` \functions { int add(int, int) \infix(+);...

* [ ] KeY diverged from the second KeY book, Macro is not there anymore.  * [ ] Incorrect tooltip: Macro was removed?!  @unp1 @mattulbrich

Alternative for: "If possible save the last selected node in the proof, to reselect it upon loading."

2

Alternative version for #3324 using the settings instead of storing it in the proof. Using a path encoding of the current node (list of child indexes) and a run-length encoding...

Loop invariant definitions can not be applied after creation of 2-Dimensional arrays

1

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/680) where the discussions are preserved. ---- * Mantis: [MT-1294](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1294) * Submitted on: 2013-04-30 by (at)greiner * Updated: 2013-05-14 ### Description > After creating a...

Abbreviations Manager

10

Abbreviations are built-in to the KeY system, but this construct is not very popular. This may be to their volatility: you are not able to store, and reuse them on...

This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/992) where the discussions are preserved. ---- * Mantis: [MT-1402](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1402) * Submitted on: 2014-01-21 by (at)wasser * Updated: 2014-02-14 ### Description > A loop invariant...