Commits · main · SoSy-Lab / Software / CPAchecker · GitLab

Dec 12, 2025
- Merge branch 'Add-roundtrip-parsing-tests-for-SV-LIB-Issue-#1516' into 'main' · fcca696d
  Marian Lingsch-Rosenfeld authored Dec 12, 2025
  fcca696d
- Fix minor format error · d68eff02
  Matthias Königer authored Dec 12, 2025
  
  d68eff02
- Fix assert message format · 3eacb3c2
  Matthias Königer authored Dec 12, 2025
  
  3eacb3c2
- Add serialVersionUID · 5ab633bf
  Matthias Königer authored Dec 12, 2025
  
  5ab633bf
- Improve serializeTest · b7761f9b
  Matthias Königer authored Dec 12, 2025
  b7761f9b
- Remove unused import · 239fdb12
  Matthias Königer authored Dec 12, 2025
  
  239fdb12
- Switch to new toASTString · d2b58366
  Matthias Königer authored Dec 12, 2025
  d2b58366
- Implement SvLibParsingAstNode for SvLibScript · 96c5287c
  Matthias Königer authored Dec 12, 2025
  96c5287c
- Create single test · cf32a10a
  Matthias Königer authored Dec 12, 2025
  cf32a10a
- Add JavaDoc to toASTString methods. · f8257b68
  Matthias Königer authored Dec 12, 2025
  f8257b68
Dec 11, 2025
- Refactor toASTString · 7dc41184
  Matthias Königer authored Dec 11, 2025
  7dc41184
- Restructure toASTString for improved clarity · 25a81fd6
  Matthias Königer authored Dec 11, 2025
  
  25a81fd6
- Clarify comment for toASTString · b8ad97a3
  Matthias Königer authored Dec 11, 2025
  
  b8ad97a3
- Simplify toASTStringWithoutTags · 3ddb286e
  Matthias Königer authored Dec 11, 2025
  
  3ddb286e
- Remove dispensable comments · 376dddc9
  Matthias Königer authored Dec 11, 2025
  
  376dddc9
Dec 10, 2025
- Add missing @Override to toASTString · 03c35ede
  Matthias Königer authored Dec 10, 2025
  
  03c35ede
- Fix toASTString · 00b898ee
  Matthias Königer authored Dec 10, 2025
  
  00b898ee
- Add tests · 2c034d90
  Matthias Königer authored Dec 09, 2025
  
  2c034d90
- Declare Strings intended as constants final · f6db1943
  Matthias Königer authored Dec 09, 2025
  
  f6db1943
- Fix formatting · 3823acbb
  Matthias Königer authored Dec 09, 2025
  
  3823acbb
- Adjust toASTString for serialization · 49e8e9e0
  Matthias Königer authored Dec 09, 2025
  
  49e8e9e0
- Remove arity of type from toASTString · be7342bf
  Matthias Königer authored Dec 09, 2025
  
  be7342bf
- Fix toASTString in SvLibDeclareFunCommand · 4c8e0fe0
  Matthias Königer authored Dec 09, 2025
  4c8e0fe0
- Make simple-incorrect.svlib fully well-formed · 344522fe
  Matthias Königer authored Dec 08, 2025
  344522fe
- Make simple-correct.svlib fully well-formed · f5b72ea1
  Matthias Königer authored Dec 08, 2025
  f5b72ea1
- Add tests for existing SvLib test-programs · 97237ef2
  Matthias Königer authored Dec 08, 2025
  
  97237ef2
- Remove superfluous tests for SvLibAstSerializationTest · d7ba6192
  Matthias Königer authored Dec 08, 2025
  
  d7ba6192
- Convert loop-simple-add.svlib to a well-formed SvLib program · 7d049f26
  Matthias Königer authored Dec 08, 2025
  
  7d049f26
- Fix toASTString · bb061d51
  Matthias Königer authored Dec 08, 2025
  
  bb061d51
- Remove unused import statements · c2f39840
  Matthias Königer authored Dec 08, 2025
  
  c2f39840
- Rename toASTString to toASTStringWithoutTags · 0d3d3d1d
  Matthias Königer authored Dec 08, 2025
  0d3d3d1d
- Add toASTString implementation and abstract toASTStringWithoutTags to SvLibStatement · f9e33452
  Matthias Königer authored Dec 08, 2025
  
  f9e33452
- Change from StringBuilder to Stream · 200547c9
  Matthias Königer authored Dec 07, 2025
  
  200547c9
- Change to toASTString() based on stream · 658acd10
  Matthias Königer authored Dec 07, 2025
  
  658acd10
- Fix toASTString method · 4b4b919f
  Matthias Königer authored Dec 07, 2025
  4b4b919f
- Add a new test for AstSerialization · f17b3d09
  Matthias Königer authored Dec 07, 2025
  f17b3d09
- Add a new SvLib testfile · b6c983c4
  Matthias Königer authored Dec 07, 2025
  
  b6c983c4
- Add a new test for AstSerialization · 0611d617
  Matthias Königer authored Dec 06, 2025
  
  0611d617
- Add new SvLib testfile · c3b2e349
  Matthias Königer authored Dec 06, 2025
  c3b2e349
- Add a new test · 39bf6209
  Matthias Königer authored Dec 06, 2025
  
  39bf6209