Commits · 367f0938b8b3d13fe0cb3089a71d4e08857753b6 · general / stups / tla2bAST · 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).

Apr 28, 2023
- Update to release version 2.12.4 of parsers · 367f0938
  dgelessus authored 2 years ago
  
  367f0938
- Unconditionally depend on SNAPSHOT version of parser · 16299e54
  dgelessus authored 2 years ago
  16299e54
Apr 26, 2023
- Remove test exclude setting for testing package · 0f7e3ba2
  dgelessus authored 2 years ago
  
  0f7e3ba2
- Use modern Gradle syntax for Java compatibility versions · ee6b76be
  dgelessus authored 2 years ago
  
  ee6b76be
Apr 25, 2023
- Set TranslationGlobals.VERSION_NUMBER automatically during build · c720f811
  dgelessus authored 2 years ago
  c720f811
- Remove manual archivesBaseName override · 4bf34c97
  dgelessus authored 2 years ago
  
  4bf34c97
- Add Sonatype snapshots repo only when building snapshot versions · 265208dc
  dgelessus authored 2 years ago
  
  265208dc
- Inline unnecessary variable · a313f3f3
  dgelessus authored 2 years ago
  
  a313f3f3
- Update dependencies · e1daea14
  dgelessus authored 2 years ago
  e1daea14
- Update Gradle wrapper to version 7.6.1 · 57807d07
  dgelessus authored 2 years ago
  
  57807d07
May 04, 2022
- Update Gradle wrapper to version 7.4.2 · cc429163
  dgelessus authored 3 years ago
  
  cc429163
Feb 08, 2022
- Update signing secrets · d5c7151c
  dgelessus authored 3 years ago
  
  d5c7151c
Feb 02, 2022
- Update JaCoCo to version 0.8.7 for Java 17 support · dbe929f5
  dgelessus authored 3 years ago
  
  dbe929f5
- update parser version · e5331f46
  Michael Leuschel authored 3 years ago
  e5331f46
Sep 14, 2021
- Update Gradle wrapper to version 7.2 for Java 16 compatibility · 14990779
  dgelessus authored 3 years ago
  
  14990779
Aug 16, 2021
- bump parser version to 2.9.28 · 2f1eb2a9
  Michael Leuschel authored 3 years ago
  
  2f1eb2a9
Mar 23, 2021
- set version to 1.1.5-SNAPSHOT · 6f022bbb
  Michael Leuschel authored 4 years ago
  
  6f022bbb
Mar 11, 2021
- set version to 1.1.4 · fe016d79
  Michael Leuschel authored 4 years ago
  
  View commits for tag 1.1.4 1.1.4
  
  fe016d79
Mar 05, 2021
- Replace insecure git protocol with HTTPS in Maven metadata · 19d35766
  dgelessus authored 4 years ago
  
  19d35766
- Switch from deprecated maven plugin to maven-publish · 4226823e
  dgelessus authored 4 years ago
  
  4226823e
- Replace another use of deprecated compile configuration · eb9bb590
  dgelessus authored 4 years ago
  
  eb9bb590
- Replace deprecated archiveName property with archiveFileName · d2162a19
  dgelessus authored 4 years ago
  
  d2162a19
- Replace deprecated jacoco.reportsDir property with reportsDirectory · 60dfa23c
  dgelessus authored 4 years ago
  
  60dfa23c
- Use Gradle standard sources/javadoc jars instead of custom ones · 3c172ad5
  dgelessus authored 4 years ago
  
  3c172ad5
- Remove apparently no longer needed javadoc.failOnError = false · 8c91c433
  dgelessus authored 4 years ago
  
  8c91c433
- Remove unneeded Sonatype releases repo entry (same as Maven Central) · ebd8934a
  dgelessus authored 4 years ago
  
  ebd8934a
- Switch to java-library plugin and replace deprecated compile deps · f72001d3
  dgelessus authored 4 years ago
  
  f72001d3
- Remove unused parserbase and ltlparser dependencies · 608fbb9e
  dgelessus authored 4 years ago
  
  608fbb9e
- Update JaCoCo to version 0.8.6 for Java 15 compatibility · ea1df954
  dgelessus authored 4 years ago
  
  ea1df954
- Update Gradle wrapper to version 6.8.3 · a9bcad62
  dgelessus authored 4 years ago
  
  a9bcad62
- Revert workaround changes to build.gradle · 52b5edde
  dgelessus authored 4 years ago
  
  52b5edde
- update to Java 1.8 and latest B parser and remove Jacoco · 8031aff5
  Michael Leuschel authored 4 years ago
  
  8031aff5
Feb 28, 2020
- set version to 1.1.4-SNAPSHOT · cf041cf1
  Michael Leuschel authored 5 years ago
  
  cf041cf1
- increase parser version · 8980d4c2
  Michael Leuschel authored 5 years ago
  
  8980d4c2
Jan 16, 2020
- Remove unneeded tla2b Gradle task · 0cf16b3a
  dgelessus authored 5 years ago
  0cf16b3a
- Make createJar task not depend on tests · 14254334
  dgelessus authored 5 years ago
  
  14254334
- Update jacoco to version 0.8.5 · 630272d5
  dgelessus authored 5 years ago
  
  630272d5
- Re-enable jacoco plugin · 3315d73a
  dgelessus authored 5 years ago
  
  3315d73a
Jan 13, 2020
- Remove use of deprecated Gradle findbugs plugin · 81fa19a9
  dgelessus authored 5 years ago
  
  81fa19a9
- Add Gradle wrapper and settings.gradle · c973a29b
  dgelessus authored 5 years ago
  
  c973a29b