Branches

• 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
• convert-acsl-expressions-to-smt protected

  fce3499b · Fix unit tests by aknoledging that a type can be null during parsing · Dec 04, 2025
• parallel-testgen protected

  35cc10a1 · changed config file , add stratgy partition algorithm. · Dec 03, 2025
• refactor_value_interface_and_classes protected

  dc07d386 · Extend JavaDoc of isExplicitlyKnown() · Dec 02, 2025
  !435
• 1526-merge-separate-mpor-algorithm protected

  80aa5ba1 · use Path instead of PathTemplate in MPOR options · Dec 02, 2025
  !436
• svcomp26-concurrency-witness-deactivation protected

  53e88743 · Do not export YAML witnesses for concurrency nor for data races · Dec 01, 2025
  !441
• bisect-script protected

  81dc699f · Make script use Bash from PATH · Dec 01, 2025
  !437
• move_witness2test_from_smg_to_smg2 protected

  1d005269 · Switch witness2test--memorysafety.properties to SMG2 · Nov 28, 2025
  !440
• move_needed_smg_code_to_smg2 protected

  53d67206 · Move SMGJoinStatus from SMG to SMG2 · Nov 28, 2025
  !439
• delete_old_smg_cpa2 protected

  981379ca · Add back witness2test memsafety config with SMG2 and proper SMG2 options · Nov 26, 2025
  !434
• delete_old_smg_cpa protected

  e5505b75 · Revert "Merge branch 'delete_old_smg_cpa' of... · Nov 26, 2025
  !377
• 1524-final-terms-by-relational-terms protected

  611341dc · Fix order of replacement of terms to create the correct · Nov 26, 2025
  !433
• 1535-spurious-cex-regression protected

  24a0057a · Return a collection of CStatements when parsing code one for each · Nov 26, 2025
  !432
• dss-engine-support protected

  a01b7970 · Update run method to accept specification in args · Nov 25, 2025
• 1466-ignore-offsets-only-when-preprocessing protected

  20cc7d0c · Fix use of offset information in preprocessor mode "auto" · Nov 25, 2025
  !431
• 1428-sequentialization-support-variadic-functions protected

  da9726ab · remove machine model from sequentialization unit tests · Nov 25, 2025
  !394
• extend_interval_with_funarrays protected

  381cd9d4 · FunArray: Add moving segment sample input program · Nov 24, 2025
  !317
• fix-preprocessor-architecture protected

  16d276d4 · Add necessary 32-bit headers to container image for unit tests · Nov 24, 2025
  !429