Commits · develop · general / stups / tlc4b · 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).

Mar 18, 2025
- re-enable silent ignore of return parameters because tests depend on this behaviour · fbc2ffa2
  Miles Vella authored 1 month ago
  fbc2ffa2
Mar 17, 2025
- disable handling of output parameters for now · 72274a50
  Miles Vella authored 1 month ago
  72274a50
- fix nested function assignments · ebe60c37
  Miles Vella authored 1 month ago
  ebe60c37
- add test and todo for type restrictor with if-predicate · 6386473c
  Miles Vella authored 1 month ago
  
  6386473c
Mar 13, 2025
- fix renamer not respecting ACTION · ed05fef8
  Miles Vella authored 1 month ago
  
  ed05fef8
Mar 12, 2025
- Remove strict scope check vor assign substitutions: it broke double function assignments · 0cafd422
  Miles Vella authored 1 month ago
  0cafd422
- Implement basic support for LET expression & predicate · 6cf8f0c7
  Miles Vella authored 1 month ago
  
  6cf8f0c7
- Improve exception message from UnsupportedConstructsFinder · c91cecf1
  Miles Vella authored 1 month ago
  
  c91cecf1
- Support IF-ELSIF-ELSE expressions · b0176d4c
  Miles Vella authored 1 month ago
  
  b0176d4c
- Add IF-ELSEs and LETs to unsupported constructs · 85da40ac
  Miles Vella authored 1 month ago
  
  85da40ac
- Add FREETYPES clause to unsupported constructs · 66c2ccb4
  Miles Vella authored 1 month ago
  
  66c2ccb4
Feb 28, 2025
- Bump version number to 1.2.2-SNAPSHOT · b752f606
  dgelessus authored 1 month ago
  
  b752f606
- Release version 1.2.1 · 3498898c
  dgelessus authored 1 month ago
  
  3498898c
- Switch to release versions of parsers and tla2bAST · 8aacb419
  dgelessus authored 1 month ago
  
  8aacb419
- Remove explicit targetCompatibility (defaults to sourceCompatibility) · 37375ccb
  dgelessus authored 1 month ago
  
  37375ccb
- Replace uses of deprecated Gradle assignment syntax · 12357c96
  dgelessus authored 1 month ago
  
  12357c96
- Update Gradle wrapper to version 8.13 · eb645bbc
  dgelessus authored 1 month ago
  
  eb645bbc
Feb 26, 2025
- Update to new parser snapshot version 2.15.0-SNAPSHOT · b5237afd
  dgelessus authored 1 month ago
  
  b5237afd
Jan 27, 2025
- reset OutputCollector together with TLC4BGlobals · 311031fb
  Jan Gruteser authored 2 months ago
  311031fb
Jan 24, 2025
- minor simplifications · 29a2ede3
  Jan Gruteser authored 3 months ago
  
  29a2ede3
- delete UtilMethods class · b80a56fa
  Jan Gruteser authored 3 months ago
  b80a56fa
Jan 23, 2025
- delete duplicate DefinitionCollector · 01ced8c9
  Jan Gruteser authored 3 months ago
  
  01ced8c9
- simple label tests · c57c1f18
  Jan Gruteser authored 3 months ago
  
  c57c1f18
- quick fix for Label and DescriptionPredicates · 1e91c11d
  Jan Gruteser authored 3 months ago
  
  1e91c11d
Jan 21, 2025
- simplify separator reference · eb71b806
  Miles Vella authored 3 months ago
  
  eb71b806
- fix typo · 2d40907c
  Miles Vella authored 3 months ago
  
  2d40907c
- make TLCRunner more similar to the TLC utility class that does the same thing · 2d2db82d
  Miles Vella authored 3 months ago
  
  2d2db82d
- fix runTLCInANewJVM · 955c9a13
  Jan Gruteser authored 3 months ago
  
  955c9a13
Jan 18, 2025
- update dependencies · 15185c46
  Jan Gruteser authored 3 months ago
  
  15185c46
Nov 12, 2024
- Bump version number to 1.2.1-SNAPSHOT · 28aef64b
  dgelessus authored 5 months ago
  
  28aef64b
- Release version 1.2.0 · 086d3258
  dgelessus authored 5 months ago
  
  086d3258
- Remove deprecated checkTLC4BIsApplicable overload · f73b1d32
  dgelessus authored 5 months ago
  f73b1d32
- Update to release version 1.4.0 of tla2bAST · 62e79352
  dgelessus authored 5 months ago
  
  62e79352
Nov 08, 2024
- Update to release version 2.13.5 of parsers · 8d12e265
  dgelessus authored 5 months ago
  
  8d12e265
Oct 28, 2024
- Update to release version 1.1.0 of our tlatools · fa340b27
  dgelessus authored 5 months ago
  
  fa340b27
Oct 25, 2024
- Update for simplified AST for record field identifiers · c7dffcdc
  dgelessus authored 6 months ago
  
  c7dffcdc
- Add settings.gradle with explicit project name · 3d7b3557
  dgelessus authored 6 months ago
  
  3d7b3557
- Update Gradle wrapper to version 8.10.2 · c062c074
  dgelessus authored 6 months ago
  
  c062c074
Oct 14, 2024
- fix typo · 3d7eb69a
  Jan Gruteser authored 6 months ago
  
  3d7eb69a
Oct 11, 2024
- Detect only AOperationCallSubstitution with return values as unsupported · 33f40420
  dgelessus authored 6 months ago
  
  33f40420