Commits · 332b02fc70a49c1aa7aef973decb6ac25f823ee9 · general / stups / tlc4b · GitLab

Snippets Groups Projects

Jul 30, 2024
- Check module and config strings first before translating back to B · 332b02fc
  dgelessus authored 11 months ago
  
  332b02fc
- Make TestUtil not unwrap BCompoundExceptions · fc488477
  dgelessus authored 11 months ago
  
  fc488477
- Combine compareEqualsConfig into compareModuleAndConfig · 30cb6226
  dgelessus authored 11 months ago
  
  30cb6226
- Make compareModuleAndConfig work properly and fix affected tests · d0a4ff3c
  dgelessus authored 11 months ago
  
  d0a4ff3c
- Split the two variants of TestUtil.test · cc78428d
  dgelessus authored 11 months ago
  
  cc78428d
- Replace PolySuite with standard JUnit Parameterized runner · b6a9820e
  dgelessus authored 11 months ago
  
  b6a9820e
- Fix more indents · fca5e7d4
  dgelessus authored 11 months ago
  
  fca5e7d4
- Move getMachines methods into TestUtil · bd378107
  dgelessus authored 11 months ago
  
  bd378107
- Simplify AbstractParseMachineTest expected value handling further · d9cc292e
  dgelessus authored 11 months ago
  
  d9cc292e
- Remove TestPair · 24d7790c
  dgelessus authored 11 months ago
  
  24d7790c
- Remove unnecessary array conversion in AbstractParseMachineTest · f4b540e1
  dgelessus authored 11 months ago
  
  f4b540e1
- Weaken list types in AbstractParseMachineTest · 09f9a4d8
  dgelessus authored 11 months ago
  
  09f9a4d8
- Remove AbstractParseMachineTest ignoreList support · 3d1ae78d
  dgelessus authored 11 months ago
  
  3d1ae78d
- Remove nonexistant CoverageTest ignoreList entries · 18edbae9
  dgelessus authored 11 months ago
  
  18edbae9
- Remove a .DS_Store · 68a04cd7
  dgelessus authored 11 months ago
  
  68a04cd7
- Fix sorting of CoverageTest ignoreList · 232a89e4
  dgelessus authored 11 months ago
  
  232a89e4
- Simplify file name filtering in AbstractParseMachineTest · 4028db4f
  dgelessus authored 11 months ago
  
  4028db4f
- Fix an indent · 88804102
  dgelessus authored 11 months ago
  
  88804102
- Use try-with-resources consistently · 3d747b5b
  dgelessus authored 11 months ago
  
  3d747b5b
- Unwrap some TLC4BIOException where IOException also works · 200a7291
  dgelessus authored 11 months ago
  
  200a7291
- Move standardModules to properly namespaced package · 61916f55
  dgelessus authored 11 months ago
  
  61916f55
- Convert mainfile to File right away · 7cc3df84
  dgelessus authored 11 months ago
  
  7cc3df84
- Try removing automatic "fixing" of input file paths · 9e5b9657
  dgelessus authored 11 months ago
  9e5b9657
- Don't catch NoClassDefFoundError when calling BParser (wtf?!) · 9b4d6d14
  dgelessus authored 11 months ago
  
  9b4d6d14
- Add causes to thrown exceptions where possible · 7c42816e
  dgelessus authored 11 months ago
  
  7c42816e
- Allow passing causes to all TLC4BException constructors · f6e629b3
  dgelessus authored 11 months ago
  
  f6e629b3
- Convert logFile to File right away · f13175f4
  dgelessus authored 11 months ago
  
  f13175f4
- Move CLI options enum to top level · bb96aaf0
  dgelessus authored 11 months ago
  bb96aaf0
- Fix Gradle 9 deprecation warning about regressionTests task · 5e1e8684
  dgelessus authored 11 months ago
  
  5e1e8684
- Refactor TracePrinter construction · a9b41afb
  dgelessus authored 11 months ago
  
  a9b41afb
- Adjust for new behavior of OutputCollector.getTrace() · 00bf9116
  dgelessus authored 11 months ago
  
  00bf9116
- Adjust dependencies for new snapshot version numbers · 1e8e660f
  dgelessus authored 11 months ago
  
  1e8e660f
- Increase next version from 1.1.1 to 1.2.0 · 3233fd20
  dgelessus authored 11 months ago
  3233fd20
- Make TLC4B.createFile private · ab142588
  dgelessus authored 11 months ago
  
  ab142588
- Inline no longer needed public TLC4B getters · 47f8417e
  dgelessus authored 11 months ago
  
  47f8417e
- Inline Log code into main TLC4B class · 245659f9
  dgelessus authored 11 months ago
  
  245659f9
- Refactor Log to be fully static · 73e7be5e
  dgelessus authored 11 months ago
  
  73e7be5e
- Simplify a map iteration in Log · 45548edf
  dgelessus authored 11 months ago
  
  45548edf
- Refactor TLC4B.translate to remove parameter · e7242139
  dgelessus authored 11 months ago
  
  e7242139
- Always read standard modules as resources, not as files · cf04cd49
  dgelessus authored 11 months ago
  cf04cd49