Commits · master · general / stups / tlatools

Oct 28, 2024
- Bump version number to 1.1.1-SNAPSHOT · 970c4a96
  dgelessus authored 6 months ago
  
  970c4a96
- Release version 1.1.0 · 950cac24
  dgelessus authored 6 months ago
  
  View commits for tag 1.1.0-stups 1.1.0-stups
  
  950cac24
- Use new Gradle plugins syntax · 4e0d59ba
  dgelessus authored 6 months ago
  
  4e0d59ba
- Remove unused Gradle eclipse plugin · f57d8e15
  dgelessus authored 6 months ago
  
  f57d8e15
- Replace uses of newly deprecated Gradle features · ace5c975
  dgelessus authored 6 months ago
  
  ace5c975
- Update Gradle wrapper to version 8.10.2 · 3a4ade6a
  dgelessus authored 6 months ago
  
  3a4ade6a
- Update Gradle wrapper to version 7.6.4 · be7799b5
  dgelessus authored 6 months ago
  
  be7799b5
- Add missing line to publishing configuration · ed5e67a3
  dgelessus authored 6 months ago
  
  ed5e67a3
- Add comment about why javadoc.failOnError is disabled · 635c9c4b
  dgelessus authored 6 months ago
  
  635c9c4b
- Migrate to Gradle maven-publish plugin from deprecated maven plugin · 3ed692bb
  dgelessus authored 6 months ago
  
  3ed692bb
Jul 30, 2024
- Fix NPE in OutputCollector.addStateToTrace · e74d8836
  dgelessus authored 9 months ago
  e74d8836
- Increase next version from 1.0.3 to 1.1.0 because of TLA Tools update · 25509383
  dgelessus authored 9 months ago
  
  25509383
Jul 24, 2024
- Weaken some collection types in our code · f7a03673
  dgelessus authored 9 months ago
  
  f7a03673
- Replace Hashtable with HashMap in our code · 873d2284
  dgelessus authored 9 months ago
  
  873d2284
Jul 19, 2024
- Fix tlatools directory name in .gitlab-ci.yml · 52b3b698
  dgelessus authored 10 months ago
  
  52b3b698
- Collect violated assumptions in DFIDModelChecker as well · d19e8b67
  dgelessus authored 10 months ago
  
  d19e8b67
- Merge tag 'v1.7.3' · 96840a74
  dgelessus authored 10 months ago
  
  96840a74
- Merge tag 'v1.7.2' · df9f7bc8
  dgelessus authored 10 months ago
  df9f7bc8
- Merge commit 'cdddf55c ' (1.7.1) · 8b1e0813
  dgelessus authored 10 months ago
  
  8b1e0813
- Merge tag 'v1.7.0' · 10a785fa
  dgelessus authored 10 months ago
  
  10a785fa
- Merge commit 'ab14a33e ' (the big move) · b0f23bbd
  dgelessus authored 10 months ago
  
  b0f23bbd
- Merge commit 'b7af7718 ' (before move) · cff6ae38
  dgelessus authored 10 months ago
  
  cff6ae38
- Ignore Gradle build directories regardless of location · fdffd7cd
  dgelessus authored 10 months ago
  
  fdffd7cd
Jul 18, 2024
- Remove StateMonitor to avoid dependency on com.sun.tools.attach · 83bd4e14
  dgelessus authored 10 months ago
  
  83bd4e14
- Merge tag 'v1.6.0' · 937f9872
  dgelessus authored 10 months ago
  937f9872
- Stub out MailSender so we don't need the email-related dependencies · 69695bf3
  dgelessus authored 10 months ago
  69695bf3
- Remove testImplementation declaration from build.gradle · 235e49e6
  dgelessus authored 10 months ago
  235e49e6
- Fix JUnit jar version in build.gradle · 11523f2c
  dgelessus authored 10 months ago
  
  11523f2c
- Replace uses of deprecated compile/testCompile configurations · bc63c23c
  dgelessus authored 10 months ago
  
  bc63c23c
- Ignore duplicates in sourcesJar · b0a018c6
  dgelessus authored 10 months ago
  
  b0a018c6
- Remove --stacktrace argument for now to reduce huge CI logs · 7eb5987d
  dgelessus authored 10 months ago
  
  7eb5987d
- Merge tag 'v1.5.7' · e3faa46c
  dgelessus authored 10 months ago
  e3faa46c
- Require Java 8 as expected by TLA Tools version 1.5.7 · b1e81438
  dgelessus authored 10 months ago
  
  b1e81438
- Merge tag 'v1.5.6' · ad6d17f0
  dgelessus authored 10 months ago
  ad6d17f0
- Merge tag 'v1.5.5' · 09dfd6c0
  dgelessus authored 10 months ago
  09dfd6c0
- Merge tag 'v1.5.4' · c39c8ea0
  dgelessus authored 10 months ago
  c39c8ea0
- Merge tag 'v1.5.3' · f331b19f
  dgelessus authored 10 months ago
  f331b19f
- Delete our README.md to make room for the official one · c2771e88
  dgelessus authored 10 months ago
  
  c2771e88
- Reorder .gitignore to simplify future merges · ec0115e4
  dgelessus authored 10 months ago
  
  ec0115e4
- Merge tag 'v1.5.2' · 862191bc
  dgelessus authored 10 months ago
  862191bc

Admin message