Commits · b0f23bbdd17e7d80da24efca1bcfce6d6f3a55a5 · general / stups / tlatools · GitLab

Snippets Groups Projects

Jul 19, 2024
- Merge commit 'ab14a33e ' (the big move) · b0f23bbd
  dgelessus authored 11 months ago
  
  b0f23bbd
- Merge commit 'b7af7718 ' (before move) · cff6ae38
  dgelessus authored 11 months ago
  
  cff6ae38
- Ignore Gradle build directories regardless of location · fdffd7cd
  dgelessus authored 11 months ago
  
  fdffd7cd
Jul 18, 2024
- Remove StateMonitor to avoid dependency on com.sun.tools.attach · 83bd4e14
  dgelessus authored 11 months ago
  
  83bd4e14
- Merge tag 'v1.6.0' · 937f9872
  dgelessus authored 11 months ago
  937f9872
- Stub out MailSender so we don't need the email-related dependencies · 69695bf3
  dgelessus authored 11 months ago
  69695bf3
- Remove testImplementation declaration from build.gradle · 235e49e6
  dgelessus authored 11 months ago
  235e49e6
- Fix JUnit jar version in build.gradle · 11523f2c
  dgelessus authored 11 months ago
  
  11523f2c
- Replace uses of deprecated compile/testCompile configurations · bc63c23c
  dgelessus authored 11 months ago
  
  bc63c23c
- Ignore duplicates in sourcesJar · b0a018c6
  dgelessus authored 11 months ago
  
  b0a018c6
- Remove --stacktrace argument for now to reduce huge CI logs · 7eb5987d
  dgelessus authored 11 months ago
  
  7eb5987d
- Merge tag 'v1.5.7' · e3faa46c
  dgelessus authored 11 months ago
  e3faa46c
- Require Java 8 as expected by TLA Tools version 1.5.7 · b1e81438
  dgelessus authored 11 months ago
  
  b1e81438
- Merge tag 'v1.5.6' · ad6d17f0
  dgelessus authored 11 months ago
  ad6d17f0
- Merge tag 'v1.5.5' · 09dfd6c0
  dgelessus authored 11 months ago
  09dfd6c0
- Merge tag 'v1.5.4' · c39c8ea0
  dgelessus authored 11 months ago
  c39c8ea0
- Merge tag 'v1.5.3' · f331b19f
  dgelessus authored 11 months ago
  f331b19f
- Delete our README.md to make room for the official one · c2771e88
  dgelessus authored 11 months ago
  
  c2771e88
- Reorder .gitignore to simplify future merges · ec0115e4
  dgelessus authored 11 months ago
  
  ec0115e4
- Merge tag 'v1.5.2' · 862191bc
  dgelessus authored 11 months ago
  862191bc
- Merge tag 'v1.5.1' · 50234e83
  dgelessus authored 11 months ago
  50234e83
- Remove unused custom .gitignore entry · fa46d577
  dgelessus authored 11 months ago
  
  fa46d577
- Adjust a few indents to simplify future merges · fa492c78
  dgelessus authored 11 months ago
  
  fa492c78
- Update Gradle wrapper to version 6.9.4 · 482afbad
  dgelessus authored 11 months ago
  
  482afbad
- Replace use of deprecated task << operator in build.gradle · 803c4ed4
  dgelessus authored 11 months ago
  
  803c4ed4
- Fix another indent · c0e7ebd7
  dgelessus authored 11 months ago
  
  c0e7ebd7
- Suppress Javadoc errors · 611282c0
  dgelessus authored 11 months ago
  611282c0
- Fix indents and formatting in build.gradle · d6b8a9e2
  dgelessus authored 11 months ago
  
  d6b8a9e2
- Remove old Travis CI badge · 7b98e94f
  dgelessus authored 11 months ago
  
  7b98e94f
- Update publishing secrets · fe9e7366
  dgelessus authored 11 months ago
  
  fe9e7366
- Convert build.gradle to LF newlines · 611b410d
  dgelessus authored 11 months ago
  
  611b410d
- Migrate from Travis CI to GitLab CI · 108628a6
  dgelessus authored 11 months ago
  
  108628a6
- Add sufficiently old Gradle wrapper · e4a6b48e
  dgelessus authored 11 months ago
  
  e4a6b48e
Mar 25, 2020
- Move toolbox related plug-ins into toolbox/ and tlatools ones into tlatools/. · ab14a33e
  Markus Alexander Kuppe authored 5 years ago
  ab14a33e
- Github actions are the future because Azure pipelines were never stable. · da3012ad
  Markus Alexander Kuppe authored 5 years ago
  da3012ad
- "-lncheck seqfinal" checks satisfiability branches of liveness checking · b7af7718
  Markus Alexander Kuppe authored 5 years ago
  b7af7718
Mar 24, 2020
- Fall back to conservative growth rate if exponential growth causes an · e2f99e6c
  Markus Alexander Kuppe authored 5 years ago
  e2f99e6c
- Fall back to conservative memory allocation if LiveWorker runs into · 0696d2e7
  Markus Alexander Kuppe authored 5 years ago
  0696d2e7
- All-or-nothing strategy when allocating memory in LiveWorker. · d1668ba1
  Markus Alexander Kuppe authored 5 years ago
  d1668ba1
- Errors during liveness checking do not terminate TLC. · db269535
  Markus Alexander Kuppe authored 5 years ago
  db269535