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

Oct 28, 2024
- Update to release version 1.1.0 of our tlatools · fa340b27
  dgelessus authored 6 months ago
  
  fa340b27
Oct 25, 2024
- Update for simplified AST for record field identifiers · c7dffcdc
  dgelessus authored 7 months ago
  
  c7dffcdc
- Add settings.gradle with explicit project name · 3d7b3557
  dgelessus authored 7 months ago
  
  3d7b3557
- Update Gradle wrapper to version 8.10.2 · c062c074
  dgelessus authored 7 months ago
  
  c062c074
Oct 14, 2024
- fix typo · 3d7eb69a
  Jan Gruteser authored 7 months ago
  
  3d7eb69a
Oct 11, 2024
- Detect only AOperationCallSubstitution with return values as unsupported · 33f40420
  dgelessus authored 7 months ago
  
  33f40420
- Update parser and replace use of now removed AOpSubstitution · e9bdc734
  dgelessus authored 7 months ago
  
  e9bdc734
Sep 20, 2024
- readd resetGlobals for tests · ec938f1e
  Jan Gruteser authored 8 months ago
  ec938f1e
- reset dfid and nr of workers before each run · d0a2425a
  Jan Gruteser authored 8 months ago
  d0a2425a
Aug 05, 2024
- simplify UnsupportedConstructsFinder · 0daf54dc
  Jan Gruteser authored 9 months ago
  
  0daf54dc
Jul 31, 2024
- Declare that Translator cannot throw IOException · 5300fefa
  dgelessus authored 9 months ago
  5300fefa
- Add new variant of checkTLC4BIsApplicable to let caller manage executor · 7b7d5c5f
  dgelessus authored 9 months ago
  
  7b7d5c5f
Jul 30, 2024
- Remove unused -tool option that does nothing · 55da7320
  dgelessus authored 9 months ago
  
  55da7320
- Remove unused -testscript option that does nothing · c67ea64f
  dgelessus authored 9 months ago
  c67ea64f
- Remove TLC4BGlobals.checkOnlyMainAssertions which was always false · 74ae5f16
  dgelessus authored 9 months ago
  74ae5f16
- Remove unused TLC4BGlobals.cleanup · e8166f10
  dgelessus authored 9 months ago
  
  e8166f10
- Remove last use of TLC4BGlobals.testingMode · 609310c5
  dgelessus authored 9 months ago
  609310c5
- Rewrite LTL tests to not require custom support in the translator code · bd573e7d
  dgelessus authored 9 months ago
  bd573e7d
- Test exact whitespace in compareLTLFormula and fix inconsistencies · 7ad18f3e
  dgelessus authored 9 months ago
  
  7ad18f3e
- Replace TestUtil.tryTranslating with .translate · 2e73d65c
  dgelessus authored 9 months ago
  2e73d65c
- Replace TestUtil.compareEquals with .translate · 2e4ac202
  dgelessus authored 9 months ago
  
  2e4ac202
- Check module and config strings first before translating back to B · 332b02fc
  dgelessus authored 9 months ago
  
  332b02fc
- Make TestUtil not unwrap BCompoundExceptions · fc488477
  dgelessus authored 9 months ago
  
  fc488477
- Combine compareEqualsConfig into compareModuleAndConfig · 30cb6226
  dgelessus authored 9 months ago
  
  30cb6226
- Make compareModuleAndConfig work properly and fix affected tests · d0a4ff3c
  dgelessus authored 9 months ago
  
  d0a4ff3c
- Split the two variants of TestUtil.test · cc78428d
  dgelessus authored 9 months ago
  
  cc78428d
- Replace PolySuite with standard JUnit Parameterized runner · b6a9820e
  dgelessus authored 9 months ago
  
  b6a9820e
- Fix more indents · fca5e7d4
  dgelessus authored 9 months ago
  
  fca5e7d4
- Move getMachines methods into TestUtil · bd378107
  dgelessus authored 9 months ago
  
  bd378107
- Simplify AbstractParseMachineTest expected value handling further · d9cc292e
  dgelessus authored 9 months ago
  
  d9cc292e
- Remove TestPair · 24d7790c
  dgelessus authored 9 months ago
  
  24d7790c
- Remove unnecessary array conversion in AbstractParseMachineTest · f4b540e1
  dgelessus authored 9 months ago
  
  f4b540e1
- Weaken list types in AbstractParseMachineTest · 09f9a4d8
  dgelessus authored 9 months ago
  
  09f9a4d8
- Remove AbstractParseMachineTest ignoreList support · 3d1ae78d
  dgelessus authored 9 months ago
  
  3d1ae78d
- Remove nonexistant CoverageTest ignoreList entries · 18edbae9
  dgelessus authored 9 months ago
  
  18edbae9
- Remove a .DS_Store · 68a04cd7
  dgelessus authored 9 months ago
  
  68a04cd7
- Fix sorting of CoverageTest ignoreList · 232a89e4
  dgelessus authored 9 months ago
  
  232a89e4
- Simplify file name filtering in AbstractParseMachineTest · 4028db4f
  dgelessus authored 9 months ago
  
  4028db4f
- Fix an indent · 88804102
  dgelessus authored 9 months ago
  
  88804102
- Use try-with-resources consistently · 3d747b5b
  dgelessus authored 9 months ago
  
  3d747b5b