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

Aug 01, 2025
- Release 4.1 · 146fe80e
  Philipp Wendler authored Aug 01, 2025
  
  View commits for tag cpachecker-4.1 cpachecker-4.1
  
  146fe80e
- Merge branch 'release-4.1' into 'main' · 8a6c11bc
  Philipp Wendler authored Aug 01, 2025
  8a6c11bc
Jul 31, 2025
- Merge branch 'ValueConsiderTypeInAssume' into 'main' · 6e686662
  Marie-Christine Jakobs authored Jul 31, 2025
  6e686662
Jul 29, 2025
- Declare certain UF lazily in CtoFormulaConverter · b2ed997e
  Philipp Wendler authored Jul 29, 2025
  b2ed997e
- Improve error messages for encode*As=UNSUPPORTED cases in PredicateCPA · 37a85d0c
  Philipp Wendler authored Jul 29, 2025
  37a85d0c
Jul 25, 2025
- fixed error prone warning · 95ba7410
  Marie-Christine Jakobs authored Jul 25, 2025
  
  95ba7410
- merge with main and resolve merge conflict · c0e86fe8
  Marie-Christine Jakobs authored Jul 25, 2025
  
  c0e86fe8
- Fix test programs to be usable without preprocessing · c97c06aa
  Philipp Wendler authored Jul 25, 2025
  
  c97c06aa
- Merge branch 'auto-update-dependencies' into 'main' · fdae4dd3
  Philipp Wendler authored Jul 25, 2025
  fdae4dd3
- Remove redundant modifiers · 32af614a
  Philipp Wendler authored Jul 25, 2025
  32af614a
- Auto-update dependencies · 326f81cb
  🤖 SoSy-Bot 🤖 authored Jul 25, 2025
  
  326f81cb
Jul 24, 2025
- Merge branch 'PatternMatchingInstanceof' into 'main' · 8f1cb4d3
  Philipp Wendler authored Jul 24, 2025
  8f1cb4d3
- Merge branch '1359-witnesses-encode-floating-point-nan-incorrectly' into 'main' · a632db1b
  Daniel Baier authored Jul 24, 2025
  a632db1b
Jul 23, 2025
- Add NaN witness export to be included in common equation export correctly by... · cadc15ac
  Daniel Baier authored Jul 23, 2025
  cadc15ac
- Revert "Add explicit handling of FP NaN when transforming value literal... · f72953b8
  Daniel Baier authored Jul 23, 2025
  f72953b8
- Revert "Improve explicit handling of FP NaN when transforming value literal... · 54f0abb3
  Daniel Baier authored Jul 23, 2025
  54f0abb3
- Revert "Add precondition for assigning NaN in witnesses" · 6cee2976
  Daniel Baier authored Jul 23, 2025
  6cee2976
- Revert "Rename NaN equation generating method in witness generation" · 43ed3b13
  Daniel Baier authored Jul 23, 2025
  43ed3b13
- Revert "Refactor NaN witness export to be included in common equation export... · 8a5b1320
  Daniel Baier authored Jul 23, 2025
  8a5b1320
- Improve NaN Fp example program by moving error checks up · ecf5fe22
  Daniel Baier authored Jul 23, 2025
  
  ecf5fe22
- Add NaN example programs based on memory structures/access used for the values · da0f4b92
  Daniel Baier authored Jul 23, 2025
  
  da0f4b92
- Refactor NaN witness export to be included in common equation export (method:... · 3271cdf4
  Daniel Baier authored Jul 23, 2025
  3271cdf4
Jul 22, 2025
- add no specification to config to make clear to user that we do not require... · 715dd9fd
  Marie-Christine Jakobs authored Jul 22, 2025
  715dd9fd
- add info message when ignoring specification in test-case generation · ddbe3908
  Marie-Christine Jakobs authored Jul 22, 2025
  
  ddbe3908
- Also recommend Java 21 in our documentation. · 2b0cd991
  Philipp Wendler authored Jul 22, 2025
  
  2b0cd991
- Prefer Java 21 when installing .deb package (if no Java is installed) · a0ecce71
  Philipp Wendler authored Jul 22, 2025
  a0ecce71
- Use Java 21 in our container images · 4bcb0022
  Philipp Wendler authored Jul 18, 2025
  4bcb0022
- Use Ubuntu 22.04 for our container image and .deb package · e688e163
  Philipp Wendler authored Jul 18, 2025
  e688e163
- Remove clang-9 dependency · 2b197a67
  Philipp Wendler authored Jul 18, 2025
  2b197a67
- Merge branch 'main' into 'release-4.1' · 0ae1bae2
  Philipp Wendler authored Jul 22, 2025
  
  0ae1bae2
- Rename NaN equation generating method in witness generation · 9eaef81e
  Daniel Baier authored Jul 22, 2025
  
  9eaef81e
Jul 21, 2025
- use value suggested by error prone · 1ede6a62
  Marie-Christine Jakobs authored Jul 21, 2025
  
  1ede6a62
- Add precondition for assigning NaN in witnesses · f2656d01
  Daniel Baier authored Jul 21, 2025
  
  f2656d01
- use value that should not loose precision · 0fc2b15d
  Marie-Christine Jakobs authored Jul 21, 2025
  
  0fc2b15d
- extended test to cover new case introduced with the previous commit · 00d68f89
  Marie-Christine Jakobs authored Jul 21, 2025
  
  00d68f89
- Improve explicit handling of FP NaN when transforming value literal... · b2299516
  Daniel Baier authored Jul 21, 2025
  b2299516
- Remove clang-9 from CI containers · 860797cd
  Philipp Wendler authored Jul 21, 2025
  860797cd
Jul 19, 2025
- Add explicit handling of FP NaN when transforming value literal assumptions to... · dc77d0e1
  Daniel Baier authored Jul 20, 2025
  dc77d0e1
Jul 18, 2025
- Merge branch 'ci-updates' into 'main' · 443f2741
  Philipp Wendler authored Jul 18, 2025
  443f2741
- fixed bug that does not correctly deal with precisions · 4765f6f8
  Marie-Christine Jakobs authored Jul 18, 2025
  
  4765f6f8