GitLab

Enables selection of proof in Proof Differences view

Closes #1566, #1540, and #1547

See merge request key/key!256

Fix for #1480: Pruning in closed branches looses rules

See merge request key/key!388

Fixing the first point in #1562

See merge request key/key!365

Fix for #1530: Repaired file information if a directory is opened in KeY

Closes #1530

See merge request key/key!386

Fix for #1551: Escaping comma when saving bookmarked filenames of KeYFileChooser

See merge request key/key!387

Fix proof loading in the CLI

See merge request key/key!385

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

Closes #1530

Bugfix: make exception dialog able to show files in Jar files

See merge request key/key!383

catch headless to make key --auto runnable again

See merge request key/key!382

Better SourceView Tooltip

See merge request key/key!379

tooltip and hand cursor only appear if the mouse pointer is over the highlight (probably needs optimization performance-wise)

add option to toggle SourceView tooltip, change mouse pointer over highlightings to hand, shorter tooltip

swap lines in gitlab ci, such that sonarqube is always reported

See merge request key/key!378

Fix \singleton(3)

Closes #39

See merge request key/key!377

Resolve "SMT Option GUI throws NPE on startup"

Closes #1568

See merge request key/key!373

JML-Extension: Assert/Assume and *_free for block contracts

Some (two) new features necessary for my masters thesis:

* Support for JML assume & assert statements
* Support for ensures_free & requires_free on block contracts

This branch is based on !306

See merge request key/key!342

* origin/master:
  Renovating the Jml Parser
  fix dependencies for gradle 7+

Better exception message in JML parser

See merge request key/key!376

Renovating the Jml Parser

Closes #1566, #1540, and #1547

See merge request key/key!306

Dependency fixes for Gradle 7

See merge request key/key!372