- 28 Jun, 2022 1 commit
-
-
Wolfram Pfeifer authored
jdiv and jmod support in SMT translation via definitions. See merge request key/key!547
-
- 24 Jun, 2022 1 commit
-
-
Alexander Weigl authored
Restore Information FlowTests See merge request key/key!553
-
- 23 Jun, 2022 2 commits
-
-
Wolfram Pfeifer authored
Fix #1684 Closes #1684 See merge request key/key!511
-
(this commit should be squashed into the MR)
-
- 20 Jun, 2022 1 commit
-
-
Florian Lanzinger authored
avoid creating proof obligations in ProofManagementDialog Closes #1715 See merge request key/key!554
-
- 19 Jun, 2022 1 commit
-
-
Benjamin Takacs authored
It is unnecessary to create proof obligations in most cases there and creating some proof obligations changes state shared with a large part of KeY (see #1715). This does *not* fix #1715, just makes it unlikely to encounter as you now first have to start an information flow proof and then in a proof for another class try to cut on `self`, in the cut dialog KeY will think `self` comes from the information flow proof. As a workaround for #1715 do all information flow proofs you want to do last.
-
- 13 Jun, 2022 1 commit
-
-
Lukas Grätz authored
-
- 12 Jun, 2022 1 commit
-
-
Lukas Grätz authored
-
- 02 Jun, 2022 4 commits
-
-
Alicia Appelhagen authored
-
Mattias Ulbrich authored
-
Alicia Appelhagen authored
-
Wolfram Pfeifer authored
Replace the hardcoded SolverType classes by .props files See merge request key/key!514
-
- 25 May, 2022 4 commits
-
-
Mattias Ulbrich authored
-
Alicia Appelhagen authored
Merge branch 'aliciaFixSettingsClassCastExceptions' of git.key-project.org:key/key into aliciaFixSettingsClassCastExceptions
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
- 24 May, 2022 2 commits
-
-
Mattias Ulbrich authored
Bug fixes from the IdentityHashMap case study Closes #1678 See merge request key/key!499
-
-
- 23 May, 2022 2 commits
-
-
Alexander Weigl authored
Solve missing plugin in shadowJar by adding `mergeServiceFiles()` See merge request key/key!545
-
Alexander Weigl authored
-
- 19 May, 2022 4 commits
-
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Wolfram Pfeifer authored
-
Alicia Appelhagen authored
-
- 18 May, 2022 1 commit
-
-
Alicia Appelhagen authored
-
- 13 May, 2022 2 commits
-
-
Wolfram Pfeifer authored
Check formatting with Spotless See merge request key/key!497
-
-
- 11 May, 2022 1 commit
-
-
Alicia Appelhagen authored
-
- 07 May, 2022 9 commits
-
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
Alicia Appelhagen authored
-
- 01 May, 2022 1 commit
-
-
Alicia Appelhagen authored
-
- 28 Apr, 2022 1 commit
-
-
Lukas Grätz authored
implement some features of the jml assert wishlist #1700 See merge request key/key!532
-
- 27 Apr, 2022 1 commit
-
-
Alicia Appelhagen authored
-