Commits · fbc2ffa275b0c8810d7e5264bd73facf53d796ab · general / stups / tlc4b

Feb 28, 2025
- Bump version number to 1.2.2-SNAPSHOT · b752f606
  dgelessus authored 3 months ago
  
  b752f606
- Release version 1.2.1 · 3498898c
  dgelessus authored 3 months ago
  
  3498898c
- Switch to release versions of parsers and tla2bAST · 8aacb419
  dgelessus authored 3 months ago
  
  8aacb419
- Remove explicit targetCompatibility (defaults to sourceCompatibility) · 37375ccb
  dgelessus authored 3 months ago
  
  37375ccb
- Replace uses of deprecated Gradle assignment syntax · 12357c96
  dgelessus authored 3 months ago
  
  12357c96
Feb 26, 2025
- Update to new parser snapshot version 2.15.0-SNAPSHOT · b5237afd
  dgelessus authored 3 months ago
  
  b5237afd
Jan 18, 2025
- update dependencies · 15185c46
  Jan Gruteser authored 4 months ago
  
  15185c46
Nov 12, 2024
- Bump version number to 1.2.1-SNAPSHOT · 28aef64b
  dgelessus authored 7 months ago
  
  28aef64b
- Release version 1.2.0 · 086d3258
  dgelessus authored 7 months ago
  
  086d3258
- Update to release version 1.4.0 of tla2bAST · 62e79352
  dgelessus authored 7 months ago
  
  62e79352
Nov 08, 2024
- Update to release version 2.13.5 of parsers · 8d12e265
  dgelessus authored 7 months ago
  
  8d12e265
Oct 28, 2024
- Update to release version 1.1.0 of our tlatools · fa340b27
  dgelessus authored 7 months ago
  
  fa340b27
Oct 11, 2024
- Update parser and replace use of now removed AOpSubstitution · e9bdc734
  dgelessus authored 8 months ago
  
  e9bdc734
Jul 30, 2024
- Fix Gradle 9 deprecation warning about regressionTests task · 5e1e8684
  dgelessus authored 10 months ago
  
  5e1e8684
- Adjust dependencies for new snapshot version numbers · 1e8e660f
  dgelessus authored 10 months ago
  
  1e8e660f
- Increase next version from 1.1.1 to 1.2.0 · 3233fd20
  dgelessus authored 10 months ago
  3233fd20
Jul 24, 2024
- Remove custom jacoco.reportsDirectory · fdaeba6e
  dgelessus authored 10 months ago
  
  fdaeba6e
- Fix a few Gradle deprecation warnings · 8d4b1642
  dgelessus authored 10 months ago
  
  8d4b1642
Jul 19, 2024
- use snapshot of tla2b for testing · fed1db20
  Jan Gruteser authored 10 months ago
  
  fed1db20
- use snapshot version · e50147e7
  Jan Gruteser authored 10 months ago
  
  e50147e7
Jul 11, 2024
- update dependencies and gradlew · 4090ce66
  Jan Gruteser authored 11 months ago
  
  4090ce66
Apr 28, 2023
- Bump version number to 1.1.1-SNAPSHOT · bf825890
  dgelessus authored 2 years ago
  
  bf825890
- 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
- 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
- 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