Commits · bf511da608efec32f03e072f1844f5328fe207fd · 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).

Aug 11, 2023
- Bump version number to 1.2.1-SNAPSHOT · bf511da6
  dgelessus authored 1 year ago
  
  bf511da6
- Release version 1.2.0 · 6a58f329
  dgelessus authored 1 year ago
  
  View commits for tag 1.2.0 1.2.0
  
  6a58f329
- Remove createJar task · e9d58e9d
  dgelessus authored 1 year ago
  e9d58e9d
- Update commons-cli to version 1.5.0 · 6f168af1
  dgelessus authored 1 year ago
  
  6f168af1
- Update parsers to version 2.12.6 · ea71f3f7
  dgelessus authored 1 year ago
  
  ea71f3f7
Jun 19, 2023
- Switch CI from openjdk to eclipse-temurin images · d8ebcede
  dgelessus authored 1 year ago
  d8ebcede
Jun 05, 2023
- Replace a manual #FORMULA prefix · b45dd88d
  dgelessus authored 1 year ago
  
  b45dd88d
Apr 28, 2023
- Remove deprecated ExtendedDFAdapter and related code · 4cf1398b
  dgelessus authored 2 years ago
  
  4cf1398b
- Bump version nummber to 1.2.0-SNAPSHOT · 4c6f163d
  dgelessus authored 2 years ago
  
  4c6f163d
- Release version 1.1.5 · 0606fc72
  dgelessus authored 2 years ago
  
  View commits for tag 1.1.5 1.1.5
  
  0606fc72
- 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
- Skip OperationsTest for now · d12f21de
  dgelessus authored 2 years ago
  d12f21de
- Remove unneeded parameterization of OperationsTest · 84fa849a
  dgelessus authored 2 years ago
  
  84fa849a
- Rename ExampleFilesTest so that it actually runs · 2d8f510a
  dgelessus authored 2 years ago
  
  2d8f510a
- Move getModulesRecursively into TestUtil · b0191b09
  dgelessus authored 2 years ago
  
  b0191b09
- Replace PolySuite with standard JUnit Parameterized runner · 30b2f000
  dgelessus authored 2 years ago
  
  30b2f000
- Further simplify unused parts of AbstractParseModuleTest · 39d9d0dd
  dgelessus authored 2 years ago
  
  39d9d0dd
- Simplify AbstractParseModuleTest to use only one directory · dedd7310
  dgelessus authored 2 years ago
  dedd7310
- Simplify file name filtering in AbstractParseModuleTest · 96dca801
  dgelessus authored 2 years ago
  
  96dca801
- Remove unused ignoreList from AbstractParseModuleTest · 80cefb99
  dgelessus authored 2 years ago
  
  80cefb99
- Update Gradle wrapper to version 8.1.1 · e1b48188
  dgelessus authored 2 years ago
  
  e1b48188
- Use modern Gradle syntax for Java compatibility versions · ee6b76be
  dgelessus authored 2 years ago
  
  ee6b76be
- Use Utils.isProBSpecialDefinitionName instead of hardcoding the names · a5e8c82a
  dgelessus authored 2 years ago
  
  a5e8c82a
Apr 25, 2023
- Remove redundant casts · ecb506e1
  dgelessus authored 2 years ago
  
  ecb506e1
- Set TranslationGlobals.VERSION_NUMBER automatically during build · c720f811
  dgelessus authored 2 years ago
  c720f811
- Remove date from Translator text output for reproducibility · d258199a
  dgelessus authored 2 years ago
  
  d258199a
- Fix outdated version number in TranslationGlobals · cd737eae
  dgelessus authored 2 years ago
  cd737eae
- Replace ASTPrettyPrinter and Renamer with B parser PrettyPrinter · 160304cc
  dgelessus authored 2 years ago
  
  160304cc
- Re-enable commented out asserts in tests · e6f9d043
  dgelessus authored 2 years ago
  e6f9d043
- Reduce throws declarations of TestUtil methods · 72c4f8ba
  dgelessus authored 2 years ago
  
  72c4f8ba
- Replace custom Ast2String with ASTProlog from B parser · 6f191f28
  dgelessus authored 2 years ago
  6f191f28
- Remove all prints from tests · 56e8787d
  dgelessus authored 2 years ago
  
  56e8787d
- 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
Feb 15, 2023
- copy VISB_SVG_ DEFINITIONS over to B translation · 3aae0bb6
  Michael Leuschel authored 2 years ago
  3aae0bb6