Branches

• 1532-predicate-analysis-concurrency protected

  2840afbc · Move config to components and add it to the default config too · Nov 24, 2025
  !430
• proper_generic_builtin_overflow_function_support protected

  5e8cf2e9 · merge main into feature branch for implementing all GNU builtin overflow functions · Nov 24, 2025
  !416
• modular-partial-order-reduction protected

  7cc81fab · Merge branch 'parallel-portfolio-modular-partial-order-reduction' into... · Nov 24, 2025
  !363
• parallel-portfolio-modular-partial-order-reduction protected

  11a7f3e9 · Create custom config for SV-COMP concurrency memsafety analysis · Nov 23, 2025
• 1475-fix-wrong-results-handcrafted-witnesses protected

  06b50127 · Replace anther UnsupportedOperationException with a · Nov 23, 2025
  !424
• add-intermediate-verification-language-support protected

  8ad18c49 · Fix javadoc · Nov 23, 2025
  !323
• implement-config-delegation-based-on-input-languge protected

  0ee78c57 · Add trailing comma to make checkstyle happy · Nov 22, 2025
  !428
• add-config-delegation-based-on-language protected

  8d89cfdc · Pass program to unit test building command-line since either the program · Nov 21, 2025
• refactor_ForwardingTransferRelation_class_variable_access protected

  d3a53817 · Add TODO about the state in ForwardingTransferRelation · Nov 21, 2025
• fix-optimistic-cast-in-expressionValueVisitor protected

  a2d915e3 · Simplify evaluation of memory location for field reference · Nov 21, 2025
  !426
• 1510-value-analysis-symbolic-execution-and-smg-analysis-do-not-respect-the-sizes-of protected

  feef6996 · Add test programs for nondet functions bool, char, short, int that test that... · Nov 21, 2025
  !425
• set_enable_memory_assignment_functions_termination protected

  25741791 · Adding it also to the default config · Nov 20, 2025
  !422
• 1439-overflowcpa-violates-abstractstatewithassumptions-conditions-by-returning-non-logical protected

  c1582c44 · Uniformly set memory allocation succeed option in... · Nov 20, 2025
  !387
• value_analysis_option_for_ignoring_unknown_function_calls protected

  61742507 · Remove extra license file func_ptr_call_test.i.license not needed for test program · Nov 20, 2025
  !388
• arrayAsPointer protected

  ada4aa20 · Merge branch 'main' into arrayAsPointer · Nov 19, 2025
  !419
• 1239-cpachecker-does-not-handle-anonymous-unions-or-structs-in-designated-initializers protected

  1fca2b0c · Refactor: Replace recursion with loop · Nov 19, 2025
  !278
• 1498-disable-witness-v2-export-in-all-memsafety-cleanup-configs protected

  0c7bbafa · Disable proof witnesses v1 export for memsafety and memcleanup configs as it is not defined · Nov 19, 2025
  !421
• fix-witness-validation-integration-buildbot-runs protected

  4c9edd4d · Delete unwanted file · Nov 18, 2025
  !417
• 1466-quick-fix protected

  5c3ccaaa · Sepparate logging messages about delegating to a backup parser for · Nov 18, 2025
  !409
• refactorings-small-code-cleanups protected

  20a2dd46 · Update source file of generated parser · Nov 18, 2025
  !418