key
key copied to clipboard
KeYProject
KeY Theorem Prover for Deductive Java Verification
## Description See title ## Reproducible always ### Steps to reproduce 1. Load a proof with filename e.g. `x_sliced.proof` 2. Try to slice it Expected: works Actual: doesn't ### Additional...
## Description When trying to run e.g. Finish Symbolic Execution nothing happens. Running the macro again then works as expected. Perhaps related: sometimes the OSS is only used after some...
## Description Loading an open proof selects the root node instead of an open goal. I am not sure if that may be intended behavior, because one can be of...
This PR fixes #3248 and supersedes #3256 and #3257 by optimizing the One Step Simplifier in several ways. See the commits in this branch for details. Additionally, the following rules...
**This is a copy of [Merge Request !318 at gitlab](https://git.key-project.org/key/key/-/merge_requests/318). See also there for an extensive discussion on the subject.** ### Constructors This mechanism *must not* be used when verifying...
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...
## Description Automated proof search, replaceKnown accounts for 43% of *all* CPU time: (the view below is zoomed in)  As far as I can tell, almost no replace_known_left /...
## Description Loading a proof with origin tracking enabled can take up to 20% more time. ## Reproducible Depends on the proof, I guess. ### Steps to reproduce 1. Enable...
Metadata
Owner
Metadata
KeY Theorem Prover for Deductive Java Verification