jdiv and jmod support in SMT translation via definitions.

See merge request key/key!547

Restore Information FlowTests

See merge request key/key!553

Fix #1684

Closes #1684

See merge request key/key!511

Arne Keller authored Jun 03, 2022 and Alicia Appelhagen committed Jun 23, 2022

(this commit should be squashed into the MR)

avoid creating proof obligations in ProofManagementDialog

Closes #1715

See merge request key/key!554

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.

Replace the hardcoded SolverType classes by .props files

See merge request key/key!514

Merge branch 'aliciaFixSettingsClassCastExceptions' of git.key-project.org:key/key into aliciaFixSettingsClassCastExceptions

Bug fixes from the IdentityHashMap case study

Closes #1678

See merge request key/key!499

Solve missing plugin in shadowJar by adding `mergeServiceFiles()`

See merge request key/key!545

Check formatting  with Spotless

See merge request key/key!497

implement some features of the jml assert wishlist #1700

See merge request key/key!532