Commits · 89e6fe5ca313af63d7987f6e7d3425834d4ed744 · general / stups / tlc4b · GitLab

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

Apr 28, 2023
- Release version 1.1.0 · 89e6fe5c
  dgelessus authored 2 years ago
  
  89e6fe5c
- Update to release version 2.12.4 of parsers · 02b80cce
  dgelessus authored 2 years ago
  
  02b80cce
- Update tla2bAST to version 1.1.5 · 6b56cfaa
  dgelessus authored 2 years ago
  
  6b56cfaa
Apr 27, 2023
- Use Utils.isProBSpecialDefinitionName instead of hardcoding the names · fd312820
  dgelessus authored 2 years ago
  
  fd312820
- Update parsers to version 2.12.4-SNAPSHOT · 92b0d8f3
  dgelessus authored 2 years ago
  
  92b0d8f3
- Update parsers to version 2.12.3 (current release) · ef78f017
  dgelessus authored 2 years ago
  
  ef78f017
- Inline tlatools_version in build.gradle · 4d3ff9a1
  dgelessus authored 2 years ago
  
  4d3ff9a1
- Delete prob_examples before extracting · dfbeedf4
  dgelessus authored 2 years ago
  dfbeedf4
- Update Gradle wrapper to version 8.1.1 · 29a3a666
  dgelessus authored 2 years ago
  
  29a3a666
- Remove custom createJar task · a3649b8a
  dgelessus authored 2 years ago
  a3649b8a
- Require Java 8 · 30382df0
  dgelessus authored 2 years ago
  
  30382df0
- Bump version number to 1.1.0-SNAPSHOT · e1bcc1fa
  dgelessus authored 2 years ago
  
  e1bcc1fa
- Release version 1.0.5 · 135c1fd4
  dgelessus authored 2 years ago
  
  135c1fd4
- Remove commented out de.prob.core.kernel dependency · 38644a22
  dgelessus authored 2 years ago
  
  38644a22
- 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