Alexander Weigl
Alexander Weigl
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/301) where the discussions are preserved. ---- * Mantis: [MT-1558](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1558) * Submitted on: 2015-08-01 by (at)rbubel * Updated: 2015-08-01 ### Description > Loading large proof...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/806) where the discussions are preserved. ---- * Mantis: [MT-1111](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1111) * Submitted on: 2011-08-29 by (at)mulbrich * Updated: 2013-01-18 * Assigned to: (at)mulbrich ### Description...
This issue tries to track changes for KeY that arise of the current discussion for the next JML ref version on Github. * Add `\old`, `\pre`, and `\before`, and `\invariant_for(obj,...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/110) where the discussions are preserved. ---- * Mantis: [MT-1378](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1378) * Submitted on: 2013-10-28 by (at)grahl * Updated: 2013-10-28 ### Description > JUnit test cases...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1559) where the discussions are preserved. ---- ## Description It is possible to prove `false` using the `observerDependency` taclets. The problem is that this/these taclet/s...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1418) where the discussions are preserved. ---- * Mantis: [MT-1375](http://i12www.ira.uka.de/~klebanov/mantis/view.php?id=1375) * Submitted on: 2013-10-23 by (at)klebanov * Updated: 2015-01-16 ### Description > In the attached...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1536) where the discussions are preserved. ---- To understand the functionality of updates I have been playing around and found the following bug in parsing...
This issue was created at [git.key-project.org](https://git.key-project.org/key/key/-/issues/1538) where the discussions are preserved. ---- The loading of key files is not homogenous. A special type of files, the logic-datatype files (LDT) are...
Hi Tomas, I implemented an [ipasir adapter for dlang](https://github.com/wadoon/ipasir-d). I have several requests for enhancements: * [ ] The makefile should allow to build only minisat or picosat static objects....
Archeology: In the back old days, we reformatted all our KeY files. If you need to restore a branch before that time to bring it on the master, you should...