Commits · cpachecker-4.2 · SoSy-Lab / Software / CPAchecker · GitLab

Nov 24, 2025
- Release 4.2 · abff2183
  Philipp Wendler authored Nov 24, 2025
  View commits for tag cpachecker-4.2 cpachecker-4.2
  
  abff2183
- Merge branch 'fix-preprocessor-architecture' into 'main' · 158b7ff2
  Philipp Wendler authored Nov 24, 2025
  158b7ff2
- removed testcomp25.properties, which was already in unmaintained · 734f5a37
  Marie-Christine Jakobs authored Nov 24, 2025
  
  734f5a37
- Add necessary 32-bit headers to container image for unit tests · 16d276d4
  Philipp Wendler authored Nov 24, 2025
  16d276d4
- Merge branch 'main' into fix-preprocessor-architecture · 8ba4a3cc
  Philipp Wendler authored Nov 24, 2025
  
  8ba4a3cc
- Merge branch 'modular-partial-order-reduction' into 'main' · efe33790
  Marian Lingsch-Rosenfeld authored Nov 24, 2025
  efe33790
- Merge branch 'parallel-portfolio-modular-partial-order-reduction' into... · 7cc81fab
  Marian Lingsch-Rosenfeld authored Nov 24, 2025
  7cc81fab
- Fix preprocessing for wrong architecture (32/64 bit) on x86 · 9f9b2965
  Philipp Wendler authored Nov 24, 2025
  9f9b2965
- Add small test for command line produced by CPreprocessor · fd595ec6
  Philipp Wendler authored Nov 24, 2025
  fd595ec6
- Merge branch 'fix-optimistic-cast-in-expressionValueVisitor' into 'main' · 258e0d0f
  Philipp Wendler authored Nov 24, 2025
  258e0d0f
- Update BenchExec and its dependencies · e7ee435a
  Philipp Wendler authored Nov 24, 2025
  
  e7ee435a
Nov 23, 2025
- Create custom config for SV-COMP concurrency memsafety analysis · 11a7f3e9
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  11a7f3e9
- Fix grammar in news · 093ae807
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  093ae807
- Point memorysafety config to itself · dfd699cb
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  dfd699cb
- Cleanup memorysafety config · e0dc3095
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  e0dc3095
- Revert "Fix unnecessary option" · 13c0c420
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  13c0c420
- Remove wrong comment · 351ca787
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  351ca787
- Fix unnecessary option · 1ab4d56f
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  1ab4d56f
- Fix senetence for news · b4f8ad3b
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  b4f8ad3b
- Remove now non-existant config · 1be6ba32
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  1be6ba32
- Add sequentialization to News · c4d3665a
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  c4d3665a
- Merge branch 'modular-partial-order-reduction' into... · 0e739053
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  0e739053
- Merge branch 'main' into modular-partial-order-reduction · 4ae70236
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  4ae70236
- Throw exception in case the main function changed during the · d4b836a5
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  d4b836a5
- Adding the validation and export of termination witnesses to NEWS.md · d36f449e
  Marek Jankola authored Nov 23, 2025
  
  d36f449e
- Merge branch 'modular-partial-order-reduction' into... · f68b895b
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  f68b895b
- Merge branch '1475-fix-wrong-results-handcrafted-witnesses' into 'main' · 016d9c11
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  016d9c11
- Revert all changes to overflow and reachsafety configs · 2da0411a
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  2da0411a
- Replace anther UnsupportedOperationException with a · 06b50127
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  06b50127
- Throw an invalida witness exception instead of an UnsupportedOperationException · ddfddc89
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  ddfddc89
- Remove resource limits from componets config · 5e4f386a
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  5e4f386a
- Handle null case of output path for sequentialized program · e34c99fb
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  e34c99fb
- Fix wrong comma · e248bcd6
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  e248bcd6
- Some more config cleanups · 8a8256be
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  8a8256be
- Cleanup memsafety concurrency config · 97d09d6c
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  97d09d6c
- Update documentation options · 019475f8
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  019475f8
- Fix compilation issue · be0a8e03
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  
  be0a8e03
- Remove sequentialization from overflow and reachability configs due to · a17b082b
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  a17b082b
- Merge branch 'main' into modular-partial-order-reduction · 3883a1fe
  Noah König authored Nov 23, 2025
  3883a1fe
- Move registration of the statistics provider for the inner algorithm · 5cea9c87
  Marian Lingsch-Rosenfeld authored Nov 23, 2025
  5cea9c87