All pull requests

Pull requests

• Fix != with a single NaN operand being evaluated as always false

  bugunsound
  #2205·jerhard opened Oct 16, 2026Member·

  ·
  1

• Refine integers through comparisons of their conversion to double / long double

  featureprecisionsv-comp
  #2204·jerhard opened Oct 16, 2026Member·

  ·

  · SV-COMP 2027
  1

  2

• Add and use IndexDomain.lift, make index-size comparisons more precise

  cleanupprecision
  #2203·sim642 opened Oct 16, 2026Member·1 task done·

  ·

  · v2.9.0 Dizzy Dullahan
  1

• Convert YamlWitnessVersion into lattice

  cleanupsv-comp
  #2201·sim642 opened Oct 15, 2026Member·2/2·

  ·

  · SV-COMP 2027

• enforcing type bounds now has consequences

  bugrelationalsv-comp
  #2200·DrMichaelPetter opened Oct 15, 2026Collaborator·

  ·

  · SV-COMP 2027
  1

  5

  

• Continue SV-COMP portfolio after errors and crashes of a config

  sv-comp
  #2198·jerhard opened Oct 14, 2026Member·

  ·
  4

• Fix negated constant sign in Apron affine invariant export

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

  ·

  · SV-COMP 2027
  1

  6

• 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·1/2·

  ·

  · SV-COMP 2027
  3

  

• 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