Commits · 722eddde5724d59c0e943f095df9796ade6cbfcc · general / stups / tlc4b · GitLab

Snippets Groups Projects

Apr 27, 2023
- Remove unneeded direct dependencies on prologlib and parserbase · 722eddde
  dgelessus authored 2 years ago
  722eddde
- Update parsers to version 2.9.25 · 1c604194
  dgelessus authored 2 years ago
  1c604194
- Remove javadoc failOnError setting that seems to be no longer needed · 810e3f18
  dgelessus authored 2 years ago
  
  810e3f18
- Update other dependencies · a57d8e47
  dgelessus authored 2 years ago
  
  a57d8e47
- Use modern Gradle syntax for Java compatibility versions · 7533d3a5
  dgelessus authored 2 years ago
  
  7533d3a5
- Use Sonatype Snapshots repo only when the current version is a snapshot · 13015c3f
  dgelessus authored 2 years ago
  
  13015c3f
- Update to tla2bAST 1.1.3 and corresponding parsers · f082b92f
  dgelessus authored 2 years ago
  f082b92f
- Pass B2TLA-generated config file to TLA2B and adjust tests accordingly · 56f11f87
  dgelessus authored 2 years ago
  56f11f87
- Remove unneeded print in regressionTests task · fb8f62a5
  dgelessus authored 2 years ago
  
  fb8f62a5
- Fix grouping of test based on whether they use public_examples · c0bcd595
  dgelessus authored 2 years ago
  c0bcd595
- Use standard assertEquals in TestUtil.compare · 867ba810
  dgelessus authored 2 years ago
  867ba810
- Make TestUtil throws declarations less generic · 7e6ff827
  dgelessus authored 2 years ago
  
  7e6ff827
- Remove some commented out references to old Tla2BTranslator · 279b69ac
  dgelessus authored 2 years ago
  
  279b69ac
- Remove unused argument of startJVM · 54bc600f
  dgelessus authored 2 years ago
  
  54bc600f
- Merge process stdout/stderr to save one StreamGobbler · 7933e089
  dgelessus authored 2 years ago
  
  7933e089
- Remove all manual prints from tests · 2099f757
  dgelessus authored 2 years ago
  
  2099f757
- Remove Ast2String which is incompatible with newer parser versions · 18db32dd
  dgelessus authored 2 years ago
  18db32dd
- Update Gradle wrapper to version 7.6.1 · c7aef0e8
  dgelessus authored 2 years ago
  
  c7aef0e8
Apr 26, 2023
- Extract only TLC subdirectory of examples to save disk space · 9fd17de7
  dgelessus authored 2 years ago
  9fd17de7
- Extract public_examples into build directory to fix Gradle warnings · eb0da14a
  dgelessus authored 2 years ago
  eb0da14a
- Clean more directories generated by tests · 29ca24a3
  dgelessus authored 2 years ago
  
  29ca24a3
- Update examples download URL from www3 to hhu-hosting · bc84f759
  dgelessus authored 2 years ago
  
  bc84f759
- Fix tests failing on too fast machines due to states folder conflicts · 8ff00874
  dgelessus authored 2 years ago
  
  8ff00874
- Fix a weird indent · 5dc2ad43
  dgelessus authored 2 years ago
  
  5dc2ad43
Mar 29, 2022
- Re-add accidentally removed javadoc failOnError setting · 4519be3e
  dgelessus authored 3 years ago
  
  4519be3e
- Update download plugin to version 5.0.2 for newer Gradle compatibility · 3a678417
  dgelessus authored 3 years ago
  
  3a678417
- Update signing secrets · a177034e
  dgelessus authored 3 years ago
  
  a177034e
- Replace use of another deprecated Gradle property · a56a2247
  dgelessus authored 3 years ago
  
  a56a2247
- Update Gradle wrapper to version 7.4.1 · f26c3aab
  dgelessus authored 3 years ago
  
  f26c3aab
- Replace uses of deprecated Gradle features · b4568e51
  dgelessus authored 3 years ago
  
  b4568e51
- Migrate to Gradle maven-publish plugin from deprecated maven plugin · 9cac88cb
  dgelessus authored 3 years ago
  
  9cac88cb
- Update Gradle wrapper to version 6.9.1 · cbc82a2c
  dgelessus authored 3 years ago
  
  cbc82a2c
- Remove use of deprecated findbugs Gradle plugin · abce3285
  dgelessus authored 3 years ago
  abce3285
- Update Gradle wrapper to version 5.6.4 · 6754d483
  dgelessus authored 3 years ago
  
  6754d483
- Update Gradle wrapper to version 4.10.3 · 79fb5e77
  dgelessus authored 3 years ago
  
  79fb5e77
- Update JaCoCo to version 0.8.7 for compatibility with newer Java · 422a1da4
  dgelessus authored 3 years ago
  
  422a1da4
- Fix indents and add .editorconfig · 67bb7ec7
  dgelessus authored 3 years ago
  
  67bb7ec7
- remove accidentally added file · 9db404bf
  Michael Leuschel authored 3 years ago
  9db404bf
- add example · 3c60679a
  Michael Leuschel authored 3 years ago
  
  3c60679a
Feb 08, 2022
- Fix GitLab CI badge in README · 643fae5b
  dgelessus authored 3 years ago
  
  643fae5b