Commits · master · general / stups / Rodin Event-B AST · GitLab

Snippets Groups Projects

Ab 01.06.2025 wird in der Informatik 2FA/MFA erzwungen. Die Einrichtung wird vorher empfohlen, optimalerweise direkt mit Fallback (Hardwaretoken UND TOTP-/Authenticator App).

Oct 06, 2023
- Release version 3.8.0 · 1fc317a8
  dgelessus authored 1 year ago
  
  View commits for tag 3.8.0 3.8.0
  
  1fc317a8
- Update to Rodin 3.8 sources · 6e228428
  dgelessus authored 1 year ago
  
  6e228428
- Release version 3.7.0 · 19e06003
  dgelessus authored 1 year ago
  
  View commits for tag 3.7.0 3.7.0
  
  19e06003
- Update to Rodin 3.7 sources · acebf907
  dgelessus authored 1 year ago
  
  acebf907
- Release version 3.6.0 · b7fa9616
  dgelessus authored 1 year ago
  
  View commits for tag 3.6.0 3.6.0
  
  b7fa9616
- Update to Rodin 3.6 sources · c57861cf
  dgelessus authored 1 year ago
  c57861cf
- Release version 3.5.0 · 525794a0
  dgelessus authored 1 year ago
  
  View commits for tag 3.5.0 3.5.0
  
  525794a0
- Update to Rodin 3.5 sources · cf511fcd
  dgelessus authored 1 year ago
  
  cf511fcd
- Release version 3.4.0 · 6539810a
  dgelessus authored 1 year ago
  
  View commits for tag 3.4.0 3.4.0
  
  6539810a
- Update to Rodin 3.4 sources · d41ed09f
  dgelessus authored 1 year ago
  
  d41ed09f
- Release version 3.3.0 · 3f39de0e
  dgelessus authored 1 year ago
  
  View commits for tag 3.3.0 3.3.0
  
  3f39de0e
- Add instructions and script for updating the Rodin sources · d85cb209
  dgelessus authored 1 year ago
  
  d85cb209
- Update to Rodin 3.3 sources · be1632c6
  dgelessus authored 1 year ago
  
  be1632c6
- Release version 3.2.1 · 094b8d8a
  dgelessus authored 1 year ago
  
  View commits for tag 3.2.1 3.2.1
  
  094b8d8a
- Change ASTPlugin to match the original a little more closely · d6689d3a
  dgelessus authored 1 year ago
  
  d6689d3a
- Remove and ignore Eclipse project files · 93676576
  dgelessus authored 1 year ago
  93676576
- Use committed patched ASTPlugin instead of making build.gradle patch it · 9f259b5e
  dgelessus authored 1 year ago
  
  9f259b5e
Oct 04, 2023
- Restore all sources to their exact original state from Rodin 3.2 · 2590b1a8
  dgelessus authored 1 year ago
  
  2590b1a8
- Revert custom patch workaround for a Java 8 import handling bug · 58774975
  dgelessus authored 1 year ago
  58774975
- Update to Gradle 8.3 · 38cd8582
  dgelessus authored 1 year ago
  
  38cd8582
- Update to Gradle 7.6.2 · 95460810
  dgelessus authored 1 year ago
  
  95460810
- Switch to java-library and maven-publish plugins · c8e6de43
  dgelessus authored 1 year ago
  
  c8e6de43
- Switch to new Gradle plugins syntax · 21fc314e
  dgelessus authored 1 year ago
  
  21fc314e
- Update to Gradle 6.9.4 · 579f8066
  dgelessus authored 1 year ago
  
  579f8066
- Update to Gradle 5.6.4 · c0030878
  dgelessus authored 1 year ago
  
  c0030878
- Reformat build.gradle and generated code consistently with tabs · 158d4775
  dgelessus authored 1 year ago
  158d4775
- Set home property for tom-task correctly · 9f21bc6d
  dgelessus authored 1 year ago
  9f21bc6d
Oct 02, 2023
- Shut up Javadoc errors · 27dbe3d4
  dgelessus authored 1 year ago
  
  27dbe3d4
- Update encrypted files · 333085cd
  dgelessus authored 1 year ago
  
  333085cd
- Migrate from Travis CI to GitLab CI · 9fcc3984
  dgelessus authored 1 year ago
  
  9fcc3984
- Use settings.gradle to set project name · 392b4fb9
  dgelessus authored 1 year ago
  
  392b4fb9
- Ignore and delete Gradle build directories · 7e3d6051
  dgelessus authored 1 year ago
  
  7e3d6051
- Add a sufficiently old Gradle wrapper · 0a3e7945
  dgelessus authored 1 year ago
  
  0a3e7945
Jun 29, 2016
- Post travis build info to slack · b6d11359
  David Schneider authored 8 years ago
  
  b6d11359
Feb 24, 2016
- Bump version · 88189daf
  Jens Bendisposto authored 9 years ago
  
  88189daf
- 3.2.0 Release · 38d9ccca
  Jens Bendisposto authored 9 years ago
  
  View commits for tag 3.2.0 3.2.0
  
  38d9ccca
Aug 06, 2015
- build status + some info for future Jens · 4157998e
  Jens Bendisposto authored 9 years ago
  
  4157998e
- build files · e8c99a7d
  Jens Bendisposto authored 9 years ago
  
  e8c99a7d
- patched source · afd37a62
  Jens Bendisposto authored 9 years ago
  
  afd37a62
- build script · 95a2be3c
  Jens Bendisposto authored 9 years ago
  
  95a2be3c