GitLab

Fix for #1601

See merge request key/key!428

Proof Exploration

Closes #1552 and #1528

See merge request key/key!194

correctly

apply the ProofTreeViewFilters

fix for #1596

Closes #1596

See merge request key/key!420

* master:
  checkstyle
  workaround for crash of Javadoc 17
  fix the failing testcases
  prettify whitespace in examples
  repaired test, made compilable with Java 8
  combine term labels (in particular origin labels) of assignable clauses for combined contracts
  gradle option that avoids OS freeze when debugging popup menus (commented out by default)
  additional test for combining \nothing and \strictly_nothing (which get different term labels somehow)
  added method to compare terms completely ignoring term labels, use it in contract combination
  test case for combination of assignable clauses of two contracts
  fix for #1582: make combination of assignable clauses work with origin labels
  adapting a symb.ex. test case
  fixing #1552

# Conflicts:
#	key/key.core/src/main/java/de/uka/ilkd/key/logic/TermImpl.java
#	key/key.ui/build.gradle

Name self, exc and similar variables without suffix

Closes #1552

See merge request key/key!392

Fix for #1582: Proofs not reloadable due to changed contract combination

See merge request key/key!400

Prettify whitespace in examples

See merge request key/key!415

Workaround for crash of Javadoc 17

Closes #1594

See merge request key/key!417

Squashed commit of the following:

commit e43dd9e607163ff928c81d04a296e709a12bd9bd
Author: Alexander Weigl <weigl@kit.edu>
Date:   Mon Oct 25 17:20:23 2021 +0200

    fix dir error, and double test run

commit 861cebd876a9e2004f9db88e9a9bd905d20f29a0
Author: Alexander Weigl <alexander.weigl@kit.edu>
Date:   Fri Oct 22 08:46:21 2021 +0000

    Update Jenkinsfile
    Deleted .jenkinsfile

commit 243d9e40b5253894ae5c477688261eb060e99b32
Author: Alexander Weigl <alexander.weigl@kit.edu>
Date:   Thu Oct 21 20:03:31 2021 +0000

    Update Jenkinsfile

commit a5e4a194a86994ffabcb203a6d8cf4420760581b
Author: Alexander Weigl <alexander.weigl@kit.edu>
Date:   Thu Oct 21 19:52:29 2021 +0000

    fix typo

commit 475d5230575a05e3907cf3074f18100ef8b6bc8c
Author: Alexander Weigl <alexander.weigl@kit.edu>
Date:   Thu Oct 21 19:48:30 2021 +0000

    Add new file

* master: (222 commits)
  now it is really NoOneStep
  fixed test proof
  missing '$lmtd' to implicit identifier
  self of static methods is not created
  fix1550
  increment shadowJar plugin version
  add multiple variant expressions
  [bugfix] add "-smt2" to call to z3 for older versions of z3
  corrected a wrong merge, make compilable
  repaired and updated tests
  quick fix:  compilation error after auto merge
  fix loading of old proofs with @set annotations
  fix 1584
  small changes
  ignore automatically generated SMT file
  removed wrong negation (user-defined taclets not loadable)
  applied some SonarQube suggestions
  provide a meaningful exception (with line/column information) when a proof contains an unknown element (e.g., accidentially missspelled 'userinteraction')
  resource handling, fix for NPE in ExceptionDialog
  some javadocs
  ...

Fix soundness bug #1555

Closes #1555

See merge request key/key!412

Resolve "The predicate name <inv>$lmtd is used in KeY but cannot be parsed"

Closes #1592

See merge request key/key!413

Replacement !79

See merge request key/key!414

* origin/master: (222 commits)
  fix1550
  increment shadowJar plugin version
  add multiple variant expressions
  [bugfix] add "-smt2" to call to z3 for older versions of z3
  corrected a wrong merge, make compilable
  repaired and updated tests
  quick fix:  compilation error after auto merge
  fix loading of old proofs with @set annotations
  fix 1584
  small changes
  ignore automatically generated SMT file
  removed wrong negation (user-defined taclets not loadable)
  applied some SonarQube suggestions
  provide a meaningful exception (with line/column information) when a proof contains an unknown element (e.g., accidentially missspelled 'userinteraction')
  resource handling, fix for NPE in ExceptionDialog
  some javadocs
  improving an axiom for integer sort to close more goals
  checkstyle
  ordering of menu entries for interaction logging
  applied UI style guideline: indicate actions that need additional user input by ellipsis
  ...

Resolve "Color settings are not read or stored successfully"

Closes #1550

See merge request key/key!411