Branches

• create_svcomp26_configuration_as_copy_of_svcomp25 protected

  d2791bbd · Add references to SV-COMP test-sets and configs towards documentation... · Oct 18, 2025
  !347
• 1400-support-builtin-c-function-popcount-in-symbolic-execution-and-value-analysis protected

  3ac34e8d · Improve C function(s) popcount implementation documentations for SMG2,... · Oct 18, 2025
  !349
• 1416-optimize-many-function-return-edges protected

  1d82df31 · Try a hack for CompositeTransferRelation in cases of many return edges · Oct 18, 2025
• data-race-analysis-handle-atomic protected

  f4d24a9b · Handle atomic variables correctly in our data-races analysis · Oct 18, 2025
  !354
• fix-the-solvers-translation protected

  6bcec2f1 · Reintroducing accidentally removed predicate solver initialization · Oct 18, 2025
  !300
• 1400-support-builtin-c-function-popcount-in-value-analysis protected

  2ee94245 · Fix commented out code in popcount test programs and preprocess it · Oct 18, 2025
  !350
• optimize-wildcard-state-check protected

  0f98a9fb · Optimize the check if a CallstackState is a wildcard state by caching · Oct 17, 2025
  !352
• add-bmc-specific-loopbound-option protected

  86c61664 · BMC/loopbound: update config options txt · Oct 16, 2025
  !159
• dss-fixpoint protected

  fa1dce9b · Add more dss test programs · Oct 16, 2025
• 1384-get-rid-of-cfawithacslannotations protected

  194b4df8 · Fix rebase errors · Oct 15, 2025
  !348
• fix_equality_comparison_CEnumerator protected

  661f80fe · Replace reference check with equality check for BigIntegers in CEnumerator.java · Oct 15, 2025
  !346
• delegating-refiner-stoprefiner protected

  49854921 · Replace ARGBasedrefiner by Refiner · Oct 14, 2025
• termination-witnesses-v2 protected

  bb4fe0fc · Revert "[ToCodeVisitor] Add binary merge to be able to recursively parse the" · Oct 13, 2025
• locate-loop-and-live-variables protected

  fc075051 · Revert "Adding a condition that help in the nested loops" · Oct 13, 2025
• flatten_localcpa_identifiers protected

  664f6680 · LocalCPA: make GeneralIdentifier not inherit from AbstractIdentifier. Every... · Oct 09, 2025
  !342
• witness-to-precision protected

  e769b907 · added require cpuMdel in benchmark · Oct 08, 2025
• adjustments-to-placement-and-readability-of-report-popovers protected

  9bd7777d · Update report html build files · Oct 07, 2025
  !340
• 1388-optimize-CFANode-with-many-edges protected

  edded208 · Add some explanation as suggested by Daniel. · Oct 07, 2025
  !327
• precision-exchange-reuse protected

  41ba7659 · Update name of PrecisionType to match the latest agreed upon name · Oct 04, 2025
  !334
• update_cmc+pcc_runcollection protected

  a0319ec1 · Replace commented out Apron based analyses defs with ?ignore statements in CMC+PCC run-collection · Sep 30, 2025
  !337