Commits · ec0115e462a7dfd80228889c2bd23f2aac7377ea · general / stups / tlatools · GitLab

Snippets Groups Projects

Jul 18, 2024
- 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
Jul 11, 2019
- Update README.md · 5c996ad0
  David Schneider authored 5 years ago
  
  5c996ad0
Jun 29, 2016
- Post travis build info to slack · e86a2f9d
  David Schneider authored 9 years ago
  
  e86a2f9d
Feb 24, 2016
- Version bump · 721ecb27
  Jens Bendisposto authored 9 years ago
  
  721ecb27
- Release 1.0.2 · 6c1b89d6
  Jens Bendisposto authored 9 years ago
  
  View commits for tag 1.0.2-stups 1.0.2-stups
  
  6c1b89d6
Dec 22, 2015
- Fix SAX parser errors caused by unmatched li & ul tags. · 84b95836
  Markus Alexander Kuppe authored 9 years ago
  84b95836
- Toolbox launch fails during tests. · 37dfaff1
  Markus Alexander Kuppe authored 9 years ago
  37dfaff1
- Increase version numbers to 1.5.2 in preparation of upcoming Christmas release. · 80943d84
  Markus Alexander Kuppe authored 9 years ago
  80943d84
Dec 21, 2015
- Increase version numbers to 1.5.2 in preparation of upcoming Christmas release. · 0ae87e89
  Markus Alexander Kuppe authored 9 years ago
  0ae87e89
Dec 17, 2015
- Help page update. · af553a15
  lamport authored 9 years ago
  
  af553a15
- Support for Microsoft Azure added to cloud distributed TLC. · 89223bdc
  Markus Alexander Kuppe authored 9 years ago
  89223bdc
- Name StatePool[Reader|Write] threads to aid debugging. · ed73305b
  Markus Alexander Kuppe authored 9 years ago
  ed73305b
- "Load more" tree action has no visually indication when it is loading. · db5ed526
  Markus Alexander Kuppe authored 9 years ago
  db5ed526
Dec 16, 2015
- Help change to conform to Toolbox change. · b2f54b54
  lamport authored 9 years ago
  
  b2f54b54
Dec 14, 2015
- Prevent multiple Toolbox instances from running simultaneously. · 5952d614
  Markus Alexander Kuppe authored 9 years ago
  5952d614
Dec 09, 2015
- Send warning when system disks fill up. · 0901a399
  Markus Alexander Kuppe authored 9 years ago
  0901a399
- org.eclipse.team.* missing from product file. · 0b151c9c
  Markus Alexander Kuppe authored 9 years ago
  0b151c9c
- Use 14.04.3 (instead of .2) maintenance release of Ubuntu cloud image on AWS EC2. · 5663de39
  Markus Alexander Kuppe authored 9 years ago
  5663de39
- Use generics. · bbf03d80
  Markus Alexander Kuppe authored 9 years ago
  bbf03d80
- Fix typo in error message · 2f38e713
  Markus Alexander Kuppe authored 9 years ago
  2f38e713
Dec 08, 2015
- Wait for the AutoBuilder to parse the spec. · a2697cd0
  Markus Alexander Kuppe authored 9 years ago
  a2697cd0
- Scrollbar behaves erratic due to the viewer's lazy content provider. · 42edec33
  Markus Alexander Kuppe authored 9 years ago
  42edec33
- State queue swap files are never cleaned. · c00ef619
  Markus Alexander Kuppe authored 9 years ago
  c00ef619
Dec 07, 2015
- Minor typo fix in comment. · 72942d45
  lamport authored 9 years ago
  
  72942d45
Dec 04, 2015
- Minor change to help documentation. · 9ab20227
  lamport authored 9 years ago
  
  9ab20227
Dec 03, 2015
- Added bug pluscal translator bug report. · 0d584bf5
  lamport authored 9 years ago
  
  0d584bf5