1. 22 Nov, 2021 1 commit
  2. 18 Nov, 2021 1 commit
  3. 13 Nov, 2021 1 commit
  4. 12 Nov, 2021 8 commits
  5. 11 Nov, 2021 1 commit
  6. 09 Nov, 2021 1 commit
  7. 08 Nov, 2021 1 commit
    • Alexander Weigl's avatar
      Merge branch 'master' into grebingWeigl/ExploreGradle · 20c24600
      Alexander Weigl authored
      * 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
      20c24600
  8. 04 Nov, 2021 1 commit
  9. 29 Oct, 2021 8 commits
  10. 28 Oct, 2021 2 commits
  11. 26 Oct, 2021 1 commit
  12. 25 Oct, 2021 2 commits
    • Alexander Weigl's avatar
      Test new Jenkins pipeline · 4510fc46
      Alexander Weigl authored
      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
      4510fc46
    • Wolfram Pfeifer's avatar
      fix the failing testcases · d3580ce6
      Wolfram Pfeifer authored
      d3580ce6
  13. 24 Oct, 2021 2 commits
    • Alexander Weigl's avatar
      sonarqube issues · 1f5b95f7
      Alexander Weigl authored
      1f5b95f7
    • Alexander Weigl's avatar
      Merge branch 'master' into grebingWeigl/ExploreGradle · 64304e6b
      Alexander Weigl authored
      * 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
        ...
      64304e6b
  14. 22 Oct, 2021 3 commits
  15. 19 Oct, 2021 1 commit
  16. 18 Oct, 2021 4 commits
    • Mattias Ulbrich's avatar
      Merge branch 'weigl/fix1592' into 'master' · 420cc532
      Mattias Ulbrich authored
      Resolve "The predicate name <inv>$lmtd is used in KeY but cannot be parsed"
      
      Closes #1592
      
      See merge request key/key!413
      420cc532
    • Mattias Ulbrich's avatar
      Merge branch 'weigl/replacementMR79' into 'master' · 508dc6f3
      Mattias Ulbrich authored
      Replacement !79
      
      See merge request key/key!414
      508dc6f3
    • Alexander Weigl's avatar
      Merge remote-tracking branch 'origin/master' into weigl/replacementMR79 · 90b45ebf
      Alexander Weigl authored
      * 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
        ...
      90b45ebf
    • Alexander Weigl's avatar
      missing '$lmtd' to implicit identifier · 302daac5
      Alexander Weigl authored
      302daac5
  17. 17 Oct, 2021 1 commit
  18. 13 Oct, 2021 1 commit