GitLab

Resolve "Exception when search string is active"

Closes #1564

See merge request key/key!366

change jetbrains annotation against jsr305 one.

See merge request key/key!359

[Fix] Intersection construction of location sets in TemrBuilder

See merge request key/key!361

Improved and corrected the verified line wrap algorithm in KeY

See merge request key/key!364

code has been proved correct.

Fixes issues with displaying syntax errors

See merge request key/key!362

* All Syntax errors are now reported correctly
* "Edit source file" working

The current termbuilder created basically always empty sets as the
initialisation was accidently set to empt instead of allLocs.

Improving the fix to 1554

See merge request key/key!360

Renovating the KeY Parser

Closes #1558, #991, #1540, #1547, #1528, and #1525

See merge request key/key!278

* master:
  fixing settings dialog glitches
  RunAllProofs in UI
  Refactoring of the testgen UI into separate module to reduce the compile dependency.
  add textareas to the settings dialog
  Fixing some smaller GUI glitches in settings dialog
  fixing smaller issues with the settings GUI

# Conflicts:
#	key/settings.gradle

This reverts commit 2376366e

fixing 1554, glitch in the GUI

See merge request key/key!357

- scrollpanes for text areas
- scroll increments for sroll panels
- wrapping lines in tool tips

RunAllProofs in UI

This MR adds an action (under `file -> prove -> run all proofs`) in experimental mode
that allows an automatically running of a user- and pre-defined set of proofs in the UI.

These proofs are defined via file (each line is a proof-file) and can be given  via `export KEY_RUNALLPROOFS_UI_FILE=...`.


See merge request key/key!335

Testgen UI via UI extension

The module `key.core.testgen` is currently not maintained. This MR lowers the dependencies of `key.ui` to this module, allowing an easy removal of `key.core.testgen` in the future.

This MR refactors out the classes depending on `key.core.testgen` in `key.ui` into a separate module `keyext.ui.testgen`. I also fixed the errors and smells identified by SonarQube.

**All features of testgen are still available in KeY ui.**

## Changes

* New gradle module `keyext.ui.testgen`
  * containing the old classes for actions, settings panel etc. from `key.ui`
  * `KeyGuiExtension` implementation to provide main-menu entries and toolbar.
* Change the dependency from `compile 'key.core.testgen` to `runtimeOnly 'keyext.ui.testgen`.

See merge request key/key!324

testgen has currently no maintainer.

* origin/master:
  replace GenRAP
  More Awareness for SonarQube Results
  Update .gitlab-ci.yml file
  Reports checkstyle issues via the codequality interface of gitlab-ci.
  Fix NullPointerException in absence of a source code file
  Improve automation with a rule dealing with nonNull(heap, null, sz) cases
  closes #1558
  fixing #991

Generate Unit Tests for ProofCollections

Closes #1540 and #1547

See merge request key/key!303

Extension for generating run all proves unit tests.
Helps to (re-)run a specific proof.

More Awareness for SonarQube Results

Closes #1556

See merge request key/key!356

Update .gitlab-ci.yml file

See merge request key/key!355