Commits · 8d12e265e7607f1ef94b1ca9433f98d7c8275b28 · general / stups / tlc4b · GitLab

Snippets Groups Projects

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
- Update to tla2bAST 1.1.3 and corresponding parsers · f082b92f
  dgelessus authored 2 years ago
  f082b92f
- 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
- 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
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