Branches

• SMG2_remove_liveVariables_abstraction protected

  cad0cb84 · Merge branch 'main' into SMG2_remove_liveVariables_abstraction · Oct 24, 2025
  !372
• make_check_for_file_pointers_in_c_types_public protected

  e11db285 · Move C type check for FILE pointers to BuiltinFunctions.java, so that all of... · Oct 24, 2025
  !375
• include_all_memsafety_tasks_in_smg_run-collection protected

  1a4b98b8 · Include all valid-memsafety tasks and all valid-memcleanup tasks from the... · Oct 24, 2025
  !374
• 1432-improve-fscanf-handling protected

  a31ddd29 · Use CCompleyType instead of two different instantiations of it · Oct 23, 2025
  !365
• 1384-get-rid-of-cfawithacslannotations-2 protected

  867afbc4 · Update adressed thread with ImmutableListMultiMap.of() in MR371 · Oct 23, 2025
  !371
• update_intellij_configs protected

  1a223ad1 · IntelliJ: try to use paths relative to the module directly instead of using... · Oct 22, 2025
  !341
• remove_unnecessary_options_from_smg_test-set protected

  e2a53a7c · SMG2 test set: remove double or unneeded options · Oct 22, 2025
  !370
• adding-smoketest protected

  bb688219 · Adding a warning message for the output folder creation · Oct 22, 2025
  !366
• correct_config_oversights_smg2 protected

  8c3b789c · Update smg test-set such that the --svcomp config does not receive the... · Oct 21, 2025
  !368
• ranged_program_analysis protected

  6675cdab · worked on equals and hashcode of AggressiveLoopBoundState · Oct 21, 2025
  !328
• dss-communcation-model protected

  89f0e006 · Use stream api · Oct 20, 2025
  !325
• gcc15-AbstractTranslationTest protected

  d96c9916 · Add -std=c11 to gcc options in AbstractTranslationTest.checkProgramCompilable... · Oct 20, 2025
  !361
• error-conditions protected

  873adc5d · Update all describerr configs to use svcomp26 · Oct 20, 2025
  !345
• refactoring-cfa-use-in-components-factory protected

  db859149 · Putting CFA into the constructor of CoreComponentsFactory · Oct 20, 2025
  !360
• benchcloud_testing protected

  e6b65be6 · change memlimit for testing · Oct 20, 2025
• benchcloud_testing_task_build protected

  694f80e1 · Merge branch 'main' into benchcloud_testing_task_build · Oct 20, 2025
• update_smg_default_traversal_strategy_to_weighted_depth protected

  3e1cbc69 · SMG2: switch to BFS weighted depth with exponent 3.3 as default traversal for SMG2 in general · Oct 19, 2025
  !359
• streamline_smg_configs protected

  48996986 · Add run-collection for all SMG configs on MemSafety/MemCleanup · Oct 19, 2025
  !254
• atomic_operations protected

  aab9b96f · changed operator from working on formulas to working on expressions · Oct 18, 2025
  !355
• create_svcomp26_configuration_as_copy_of_svcomp25 protected

  d2791bbd · Add references to SV-COMP test-sets and configs towards documentation... · Oct 18, 2025
  !347