Alexander Weigl
Alexander Weigl
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1494) where the discussions are preserved. ---- # Overview Verifying programs that use iterators in KeY is currently very difficult. There are neither taclets for...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1532) where the discussions are preserved. ---- ## Reproducible Always ### Steps to reproduce 1. Load some proof obligation. An interaction log named, e.g., "bumpy...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/712) where the discussions are preserved. ---- * Mantis: [MT-827](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=827) * Submitted on: 2007-06-26 by (at)pruemmer * Updated: 2014-08-05 ### Description > When proving problems...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/836) where the discussions are preserved. ---- * Mantis: [MT-1299](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1299) * Submitted on: 2013-05-08 by (at)grahl * Updated: 2013-05-10 ### Description > The average time...
I am currently going through bestpractises.dev for [KeY](https://www.bestpractices.dev/en/projects/7794). This is a site with best practises for open source projects. Our current status: [](https://www.bestpractices.dev/projects/7794) I want to use this...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/255) where the discussions are preserved. ---- * Mantis: [MT-1560](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1560) * Submitted on: 2015-08-04 by (at)mulbrich * Updated: 2015-09-25 * Assigned to: (at)mkirsten ### Description...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1212) where the discussions are preserved. ---- * Mantis: [MT-1129](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1129) * Submitted on: 2011-11-07 by (at)grahl * Updated: 2011-11-17 ### Description > Java allows you...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1459) where the discussions are preserved. ---- ## Description More complex JML storerefs like `array[*].field` cannot be parsed by KeY though they are (allegedly) valid...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/676) where the discussions are preserved. ---- * Mantis: [MT-1256](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1256) * Submitted on: 2012-12-19 by (at)mulbrich * Updated: 2012-12-19 ### Description > > A program...