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

Nov 23, 2024
- Release 4.0 · f3553c4f
  Philipp Wendler authored Nov 23, 2024
  
  View commits for tag cpachecker-4.0 cpachecker-4.0
  
  f3553c4f
- Exclude libopensmtjava from dependency checking in build process · a02fa5af
  Philipp Wendler authored Nov 23, 2024
  a02fa5af
- Set default resource limits in new memsafety/cleanup configs for default · 0a948eb1
  Daniel Baier authored Nov 23, 2024
  
  0a948eb1
- Update SMG MemSafety/MemCleanup configs for malloc failing and set the configs directly in default · c44d9623
  Daniel Baier authored Nov 23, 2024
  
  c44d9623
- Merge branch 'smg_improve_concrete_memory_access2' into 'main' · d2362d36
  Daniel Baier authored Nov 23, 2024
  d2362d36
- Fix wrong spec in smg configs · b6be6f56
  Daniel Baier authored Nov 23, 2024
  
  b6be6f56
- Update the smg config with the SV-COMP 25 portfolio for memsafety/memcleanup · 57199e5d
  Daniel Baier authored Nov 23, 2024
  
  57199e5d
- Add memorycleanup to default config · fff37e15
  Daniel Baier authored Nov 23, 2024
  
  fff37e15
- Merge branch 'release-4.0-preparations' into 'main' · 46292c4b
  Philipp Wendler authored Nov 23, 2024
  46292c4b
- Updated bundled BenchExec to version 3.27 · 63817456
  Philipp Wendler authored Nov 23, 2024
  
  63817456
- Merge branch 'main' into smg_improve_concrete_memory_access2 · 4421e847
  Daniel Baier authored Nov 23, 2024
  
  4421e847
- SMG: add support for symbolic pointer distance · 5f57454f
  Daniel Baier authored Nov 23, 2024
  
  5f57454f
- SMG: improve stackframe toString() · befc5e56
  Daniel Baier authored Nov 23, 2024
  
  befc5e56
Nov 22, 2024
- SMG: remove unneeded method · fcd07f5d
  Daniel Baier authored Nov 23, 2024
  
  fcd07f5d
- Update marker for development versions to -git · 13f1e251
  Philipp Wendler authored Nov 22, 2024
  13f1e251
- Merge branch 'dedicated_memcleanup_config' into 'main' · 1dca0f08
  Daniel Baier authored Nov 22, 2024
  1dca0f08
- Simplify detection of version number of development versions · ee42d074
  Philipp Wendler authored Nov 22, 2024
  ee42d074
- Documentation of new version numbers for development versions · 6e19d014
  Philipp Wendler authored Nov 22, 2024
  6e19d014
- SMG Memcleanup: actually add the 120s config · 5561b688
  Daniel Baier authored Nov 22, 2024
  
  5561b688
- SMG MemCleanup Portfolio: increase time limit of normal SMG2 SymEx to 120s · 6afdbe45
  Daniel Baier authored Nov 22, 2024
  
  6afdbe45
- Merge branch 'smg_portfolio_full_parallel' into 'main' · fbe879b8
  Daniel Baier authored Nov 22, 2024
  fbe879b8
- Finish changelog for release 4.0 · 640e80b7
  Philipp Wendler authored Nov 22, 2024
  
  640e80b7
- Update contributors to the CPAchecker project · e7eae0e2
  Philipp Wendler authored Nov 22, 2024
  
  e7eae0e2
- SMG-Portfolio: remove old restart based component · 88e666e2
  Daniel Baier authored Nov 22, 2024
  
  88e666e2
- SMG-Portfolio: switch to fully parallel portfolio · 8c685661
  Daniel Baier authored Nov 22, 2024
  
  8c685661
- Copy over containerImage parameter for BenchCloud scripts · d927651c
  Henrik Wachowitz authored Nov 22, 2024 and Philipp Wendler committed Nov 22, 2024
  d927651c
- Merge branch 'main' into dedicated_memcleanup_config · 065d2bfb
  Daniel Baier authored Nov 22, 2024
  
  065d2bfb
- SMG-MemCleanup-Portfolio: switch to a parallel MemCleanup portfolio based on... · 02dabe4d
  Daniel Baier authored Nov 22, 2024
  02dabe4d
- Merge branch '1282-fix-builtin-expect' into 'main' · b24a0863
  Philipp Wendler authored Nov 22, 2024
  b24a0863
Nov 21, 2024
- Merge branch '1193-denylist-pthread_rwlock' into 'main' · a8a9100a
  Philipp Wendler authored Nov 21, 2024
  a8a9100a
- Merge branch '1283-denylist-realloc' into 'main' · 609ee9af
  Philipp Wendler authored Nov 21, 2024
  609ee9af
- Mark realloc as unsupported in predicate analysis · adc1233e
  Philipp Wendler authored Nov 21, 2024
  adc1233e
- Mark pthread_rwlock as unsupported in our concurrency analysis · 38cfb91b
  Philipp Wendler authored Nov 21, 2024
  38cfb91b
- Merge branch 'smg_concrete_value_abstraction' into 'main' · f817ce6a
  Daniel Baier authored Nov 21, 2024
  f817ce6a
- Merge branch 'add_c_function_atexit' into 'main' · 8fa61e77
  Daniel Baier authored Nov 21, 2024
  8fa61e77
- SMG: update name of subproperty including CEX check in config · 445e27f7
  Daniel Baier authored Nov 21, 2024
  
  445e27f7
- Update config options txt for changed name of CEX option · d45a4063
  Daniel Baier authored Nov 21, 2024
  
  d45a4063
- Merge branch 'support_non_returning_functions_in_livevariable_analysis' into 'main' · 72adcd3f
  Daniel Baier authored Nov 21, 2024
  72adcd3f
- SMG-Portfolio: disable list abstraction for value analyses used and enable... · d1691b3a
  Daniel Baier authored Nov 21, 2024
  d1691b3a
- SMG: improve checks adding points-to-edges to the SMG · c7785d52
  Daniel Baier authored Nov 21, 2024
  
  c7785d52