Artiweb
Welcome to artiweb.
Open pull requests
- Translation of bitwise operators #3172
- Fix #3164 #3168
- Builtin rule to lift model methods to updates #3162
- ADTs for KeY #3161
- Proof reordering (WIP) #3141
- AutoPerf: Replace RuleAppCost with long #3127
- The removal of Recoder #3120
- Critical changes to the KeY parser/grammer for more performance #3117
- A new grammar for configuration #3099
- Proof caching #3083
- JSON-formatted log files #3076
- Fix #3072 #3074
- Overloaded Operators for KeY lang #3032
- Solving the FP completeness issues in #1723 #3023
- Exploiting JML Names in the Proof Tree #3022
- Use KeYParser.g4 for parsing proof scripts #3021
- suggesting a pull-request-template. #3018
Closed pull requests
- added CITATION.bib #3171
- Update README.md #3169
- Fix #3163 #3167
- fix StringUtil.trim #3166
- Remove sonarqube #3160
- Bump org.sonarqube from 4.1.0.3113 to 4.2.0.3129 #3159
- Fix #3156 #3157
- Fix proof view filter not applied on load #3154
- Minor fixes #3153
- Test parsing exceptions in JML and Java parsing #3152
- fixes #3149 #3150
- Add code coverage with reporting #3148
- Bump org.sonarqube from 4.0.0.2929 to 4.1.0.3113 #3147
- Bump com.diffplug.spotless from 6.16.0 to 6.19.0 #3146
- Bump org.antlr:antlr4 from 4.12.0 to 4.13.0 #3145
- Bump org.antlr:antlr4-runtime from 4.12.0 to 4.13.0 #3144
- fix #3142 by making a copy of the map #3143
- Fix highlighting of selected terms #3140
- "Public" branches need not be displayed in title bar #3139
- Bump org.junit.jupiter:junit-jupiter-params from 5.9.2 to 5.9.3 #3138
- Bump org.junit.jupiter:junit-jupiter-api from 5.9.2 to 5.9.3 #3137
- Bump org.junit.jupiter:junit-jupiter-engine from 5.9.2 to 5.9.3 #3136
- Bump org.junit.vintage:junit-vintage-engine from 5.9.2 to 5.9.3 #3135
- Bump gradle/gradle-build-action from 2.3.3 to 2.4.2 in /.github/workflows #3134
- Fix NPE while extracting recoder error position and use existing information better #3133
- Bump ch.qos.logback:logback-classic from 1.4.6 to 1.4.7 #3132
- Fix double highlight in sequent view #3129
- AutoPerf: Lazy rule indices #3128
- Fix source view line numbers font size #3126
- AutoPerf: Lazy rule indices #3125
- AutoPerf: Refactorings and minor changes #3124
- Fix null text in tooltip #3122
- fix typo in opttest #3121
- Artiweb workflow: Typo #3119
- Fix #3111 #3116
- Artiweb workflow fix #3115
- Bump com.miglayout:miglayout-swing from 11.0 to 11.1 #3113
- Bump com.diffplug.spotless from 6.16.0 to 6.18.0 #3112
- Tests on Windows #3110
- Depromote optional-tests #3109
- Artiweb Workflow: Fix author name #3108
- Lost rules: Seqperm, slice all taclet proofs #3107
- A Github Action for nightly deploy #3106
- AutoPerf: Replace RuleAppCost with long #3105
- Fix comment author and nicer message #3104
- Artiweb #3103
- Artiweb workflows #3102
- Artiweb workflow fix #3101
- Fix type of `Long.MIN_VALUE` and `Long.MAX_VALUE` #3100
- Artiweb workflow fix #3098
- Better artiweb comment workflow #3097
- JUnit XML files for optional-tests #3096
- Update of the test oracles files of key.core.symbolic_execution #3095
- set an import order for Java code #3094
- Logging cleanup #3093
- Bump com.github.johnrengelman.shadow from 7.1.0 to 8.1.1 #3090
- Bump org.ow2.asm:asm from 9.4 to 9.5 #3089
- Bump org.slf4j:slf4j-api from 2.0.6 to 2.0.7 #3088
- Update the oracle of symbolic execution inside a workflow #3087
- Enhance SMT nodes: save solver type & unsat core #3085
- Fix some positions being offset #3084
- Bump org.junit.jupiter:junit-jupiter-api from 5.8.2 to 5.9.2 #3082
- Bump net.java.dev.javacc:javacc from 4.0 to 7.0.12 #3081
- Bump org.ow2.asm:asm from 4.1 to 9.4 #3080
- Bump ch.qos.logback:logback-classic from 1.4.5 to 1.4.6 #3079
- fixing error reporting in AbstractBuilder #3078
- Remove sonarqube from readme #3077
- Fix program element printing in proof saver #3073
- Fix ProofTreeView NPE #3070
- Bump org.junit.vintage:junit-vintage-engine from 5.8.2 to 5.9.2 #3069
- Bump org.antlr:antlr4-runtime from 4.9.3 to 4.12.0 #3068
- Bump org.antlr:antlr4 from 4.9.3 to 4.12.0 #3067
- Bump com.diffplug.spotless from 6.16.0 to 6.17.0 #3066
- Bump org.antlr:antlr from 3.5.2 to 3.5.3 #3065
- Code cleanup #3064
- Re-apply view filter when switching proof #3063
- Floating Point rules for casts #3062
- Expand oss nodes #3061
- Add `merge_group` event to checks #3060
- Issue write permission for artiweb workflow #3059
- Test workflow #3057
- Bump com.diffplug.spotless from 6.11.0 to 6.16.0 #3056
- Bump ch.qos.logback:logback-classic from 1.2.10 to 1.4.5 #3055
- Bump org.sonarqube from 3.3 to 4.0.0.2929 #3054
- Bump org.antlr:antlr-runtime from 3.5.2 to 3.5.3 #3053
- Bump org.slf4j:slf4j-api from 1.7.32 to 2.0.6 #3052
- Bump org.junit.jupiter:junit-jupiter-params from 5.8.2 to 5.9.2 #3051
- Bump org.junit.jupiter:junit-jupiter-engine from 5.8.2 to 5.9.2 #3050
- Position information overhaul #3049
- Activate Z3 if no other SMT solver is configured #3048
- Artiweb comment workflow #3047
- Assignable free #3046
- Fix #3035 #3045
- Miscellaneous cleanups (unused classes removed etc.) #3044
- Re-enable previously disabled tests #3043
- Fix CVC4 solver socket handling of newlines #3042
- Report better error for missing model method #3041
- Register modifier when parsing JML spec #3040
- Enabling Java 17 for unit-tests #3039
- Allow user to select any installed LaF #3038
- Avoid tooltip NPE for incomplete proof nodes #3037
- New .git-blame-ignore-revs after history rewrite #3036
- Formatter #3034
- Fix handling of multiline log messages #3033
- Overhaul of the Configuration #3031
- Removal of the Proof Collection Parser #3030
- JUnit XML files for RunAllProofs #3029
- Overflow checking #3027
- Proof slicing extension #3026
- Report location on error in constant evaluation #3025
- Small tweaks to proof script engine #3020
- Update tests.yml #3017
- Draft: Fix javacc deprecation warning #3016
- Fix branch name in Checkstyle script #3015
- Spec math mode #3014
- Fix non duplicate feature perf #3013
- Proof tree view: Multiple small changes for readability #3012
- Fix use of unsupported string templates #3011
- Upload HTML test report #3010
- Generic undo button for user actions #3009
- Fix construction of Javac issue dialog #3008
- Read \profile and \settings once (fixes #1738) #3007
- Selection history (back + forward button) #3006
- Fix NPE when no look and feel is configured #3005
- Update issue templates #3004
- Issues misconfigured #3003
- Create dependabot.yml #3002
- Install SMT solvers for CI testing #3001