All pull requests

Pull requests

• Remove unused evalbinop type arguments in base

  cleanup
  #2195·sim642 opened Oct 14, 2026Member·

  ·

  · v2.9.0 Dizzy Dullahan

• Fix negated constant sign in Apron affine invariant export

  bugrelationalsv-compunsound
  #2194·shivampwm2020 opened Oct 14, 2026·

  ·

  · SV-COMP 2027
  1

  3

• Revert "Optimize unassume to not emit during postsolving"

  bugperformancesv-comp
  #2191·sim642 opened Oct 13, 2026Member·1 of 3 tasks·

  ·

  · SV-COMP 2027
  1

• Add YAML witness 2.2-2.3 parsing support

  featuresv-comp
  #2190·sim642 opened Oct 12, 2026Member·

  ·

  · SV-COMP 2027

• Unify YAML witness entry versions

  bugsv-comp
  #2189·sim642 opened Oct 12, 2026Member·

  ·

  · SV-COMP 2027
  1

• Do not check array bounds when invalidating or collecting reachable addresses

  precisionsv-comp
  #2181·jerhard opened Oct 8, 2026Member·

  ·

  · SV-COMP 2027
  7

• Add regression tests for ArithmeticOnIntegerBot triggers

  bugsv-comp
  #2174·karoliineh opened Sep 29, 2026Member·

  ·
  11

• Weaken relation analysis multiple variable updates and refinements

  #2162·vesalvojdani opened Sep 23, 2026Member·

  ·
  4

• TD Parallel

  parallelsv-comp
  #2157·arkocal opened Sep 22, 2026Contributor·

  ·

  · SV-COMP 2027
  3

• Add unsound test 74-invalid_deref/45-tricky-scopes

  bugtestingunsound
  #2155·sim642 opened Sep 21, 2026Member·

  ·

• Port recent ppx deriving improvements to vendored ppx_easy_deriving

  cleanupperformance
  #2149·sim642 opened Sep 14, 2026Member·1 task·

  ·

  · v2.9.0 Dizzy Dullahan
  

• Find widening thresholds from reset conditions

  featureprecision
  #2147·sim642 opened Sep 11, 2026Member·2/2·1 task·

  ·
  2

• Refactor WideningThresholds.extractThresholdsFromConditionsVisitor

  cleanup
  #2146·sim642 opened Sep 11, 2026Member·1/2·1 task·

  ·
  1

  

• extend uninit analysis to handle unknown pointers

  #2137·jprotopopov-ut opened Sep 8, 2026Contributor·

  ·

• Add unsound test 01-cpa/63-escaping-recursion-global

  bugtestingunsound
  #2130·sim642 opened Sep 4, 2026Member·

  ·
  1

• Extract weakUpdates analysis from base

  cleanup
  #2127·sim642 opened Sep 3, 2026Member·4 of 5 tasks·

  ·
  11

  

• Introduce Var abstraction

  cleanupproof-of-concept
  #2126·sim642 opened Sep 2, 2026Member·3 tasks·

  ·

• FwdChecker: Avoid re-checking locals because of global dependencies

  bugperformance
  #2117·michael-schwarz opened Aug 26, 2026Member·

  ·
  1

• Check special argument accesses properly in memOutOfBounds

  bugcleanupprecisionsv-compunsound
  #2113·sim642 opened Aug 24, 2026Member·

  ·

• Add sound loop thread-join coverage analysis

  feature
  #2101·michael-schwarz opened Aug 14, 2026Member·

  ·
  3

• Fix unknown thread invalidation ordering

  bugunsound
  #2099·michael-schwarz opened Aug 12, 2026Member·

  ·
  1

  11

• Phase Ghosts: Generalize to allow for cyclic phases

  featureghost-branch
  #2088·michael-schwarz opened Aug 3, 2026Member·

  ·

  · SV-COMP 2028

• Fix spurious overflow checks in memOutOfBounds

  bugprecisionsv-comp
  #2079·sim642 opened Jul 22, 2026Member·

  ·

  · v2.9.0 Dizzy Dullahan
  1

  5

• Turn non-analysis expRelation into queryProvider

  cleanup
  #2076·michael-schwarz opened Jul 17, 2026Member·

  ·
  4

• Validation of Witnesses with Ghosts

  featureghost-branchsv-comp
  #2072·michael-schwarz opened Jul 10, 2026Member·3 tasks done·

  ·

  · SV-COMP 2028
  12