Branches

• add_smg2_based_overflow_config protected

  ba9ba911 · Distribute usage of malloc fail option in integration-smg-overflow.xml into all task sets · Nov 17, 2025
  !379
• relative_cpu-time_limits protected

  b66dcf3c · Format · Nov 17, 2025
  !364
• warning_for_no_container_mode_is_deprecated_from_benchcloud protected

  183028d3 · reformat · Nov 17, 2025
  !414
• 1366-add-handcrafted-witness-integration protected

  b1843219 · Add integration test for handcrafted witnesses · Nov 16, 2025
  !413
• 1471-fix-function-return-parsing protected

  39a25a50 · Fix typo which prevented the handling of function return waypoints · Nov 15, 2025
  !411
• 1472-add-a-method-to-retrieve-the-name-of-a-function-in-a-function-call-expression protected

  18504c11 · Revert "Only preprocess files on demand" · Nov 14, 2025
• 1438-weird-behavior-in-goblint-coreutils-sv-benchmarks protected

  b3ade6fa · New test cases for PointerTransferRelation · Nov 14, 2025
  !408
• stopping-lasso-analysis-for-unsigned protected

  02e8204d · Adding a logging message and comment · Nov 14, 2025
  !405
• 1365-tocexpressionvisitor-binary-instead-of-boolean-and protected

  792b14af · Minor fixes in comments and method names, merged two tests into one · Nov 12, 2025
  !330
• 1451-nosuchelementexception-thrown-when-running-terminationtosafety protected

  6096c9d8 · Removing AssumptionStorageCPA · Nov 11, 2025
  !404
• adjusting-commands-for-Benchcloud protected

  d543f831 · revert common version · Nov 10, 2025
  !396
• removing-ghost-variables protected

  fd5d5b91 · do not abstract at functions · Nov 10, 2025
  !356
• fix-witness-pattern-sv-comp protected

  de4e46bc · The SV-COMP config should already export witnesses by default · Nov 10, 2025
  !401
• refactor_MemoryLocation_interface_to_increase_code_quality protected

  74718f03 · Refactor MemoryLocation to not use null and simplify methods · Nov 10, 2025
  !402
• CollateralCoverageDetectionWithValueAnalysis-extractor protected

  f5a19634 · Updated xml files. Created seperate properties for NoCegar without and with Extractor · Nov 07, 2025
  !423
• delegating-refiner protected

  8f11128a · Fixed bug in TrackingForwardingReachedSet and · Nov 07, 2025
  !322
• add-preprocess-option-to-test-sets protected

  5caf3894 · Add the option for pre-processing to all our integration tests · Nov 06, 2025
  !400
• fix-predicate-overflow-benchmark-definition protected

  5b502e9c · Set the configuration for our integration tests for predicate analysis · Nov 06, 2025
  !399
• 1405-investigate-automatic-compilation-using-ant-in-intellij-idea-using-maven protected

  c417b754 · remove mvn test and mvn verify · Nov 06, 2025
  !398
• value-analysis-fscanf protected

  c05e2802 · Rename class to BuiltinIoFunctions · Nov 06, 2025
  !386