Branches

• auto-update-dependencies protected

  4efef157 · Auto-update dependencies · Dec 14, 2025
  !457
• refactor_symbolicIdentifiers_ids_smg2 protected

  9e648112 · Hand over unique id generator that is used to generate the IDs for... · Dec 12, 2025
  !456
• main default protected

  fcca696d · Merge branch 'Add-roundtrip-parsing-tests-for-SV-LIB-Issue-#1516' into 'main' · Dec 12, 2025
• Add-roundtrip-parsing-tests-for-SV-LIB-Issue-#1516 protected

  d68eff02 · Fix minor format error · Dec 12, 2025
  !452
• 1555-inline-assume-function-calls protected

  fd65f3f3 · remove now unused assume AST nodes · Dec 12, 2025
• brocke-error-fixes protected

  e9b3a084 · Merge branch 'main' into brocke-error-fixes · Dec 11, 2025
• acsl-parser protected

  d8caffcb · Match Acsl Comment to Cfa Node · Dec 11, 2025
• refactor_symbolicIdentifiers_and_usage protected

  6b31f55b · Make use of the SymbolicIdentifier constructor without MemoryLocation · Dec 11, 2025
• 1520-sequentialization-incorrect-results protected

  bfe236f4 · add assertion that MporPreprocessingAlgorithm is not run on already sequentialized CFAs · Dec 10, 2025
  !444
• refactor_value_interface_usage_in_cpachecker protected

  a6e0c54a · Refactor NumericValue checks to instanceof and use the compiler guarantees or... · Dec 10, 2025
  !455
• refactor_value_interface_usage_in_SMG_analyses protected

  c7483818 · Refactor NumericValue checks to instanceof and use the compiler guarantees or... · Dec 10, 2025
  !454
• canonize_c_operator_names_and_add_doc protected

  0e76542c · Add note about integer division in description in CBinaryExpression.BinaryOperator JavaDoc · Dec 10, 2025
  !448
• update_to_intermediate_javasmt_w_mathsat_5.6.15 protected

  e7070213 · Add dummy implementation for FP rounding mode creation method for new JavaSMT API · Dec 10, 2025
• 1511-validate-sv-lib-witnesses protected

  7e2663de · Fix unit tests · Dec 09, 2025
  !450
• 1541-add-requirement-input-support-to-cpachecker-benchmark-scripts protected

  57a0d106 · renaming missing corereq to core_requirement · Dec 08, 2025
  !449
• 1521-improve-config-selection-in-CPAMain protected

  4c914d10 · Remove duplicate code from handling of properties in CPAMain · Dec 05, 2025
  !443
• remove_symbolicValueFactory protected

  d6e19211 · Move unique ID into SymbolicIdentifier and delete SymbolicValueFactory.java · Dec 05, 2025
  !445
• smg2_allow_nested_symbolic_expressions_with_unknown_values protected

  212794a7 · SMG2 Value Visitor: add default in switch case for building symbolic expressions · Dec 04, 2025
  !403
• 1544-sequentialization-inject-into-blank-statements-crash protected

  af5d6407 · rename isBlank function to isOnlyPcWrite · Dec 04, 2025
  !442
• acsl-expressions protected

  fce3499b · Fix unit tests by aknoledging that a type can be null during parsing · Dec 04, 2025
  !260