All pull requests

Pull requests

• Revised Webinterface

  #817·Heizmann opened Oct 1, 2026Member·

  ·
  3

• Wip/xj/congruence

  #812·Heizmann opened Sep 23, 2026Member·

  ·
  3

• PolyPoNe: bitvector inequality relation support

  #808·the-mr-dave opened Sep 15, 2026Contributor·

  ·
  11

  

• Add GraphPrinter plugin for DOT format graph output

  enhancementfeatureusage-related
  #805·bahnwaerter opened Sep 9, 2026Member·

  ·
  

• Mirror bvugt/bvuge/bvsgt/bvsge onto bvult/bvule/bvslt/bvsle

  #799·the-mr-dave opened Aug 16, 2026Contributor·

  ·
  2

  

• Add possibility for malloc to fail (via setting)

  C translationfeature
  #798·schuessf opened Aug 14, 2026Member·

  ·

• Add setting to remove unnecessary labels

  ICFG-related
  #790·schuessf opened Jul 10, 2026Member·

  ·

• Add Owicki-Gries annotations

  #783·maul-esel opened May 29, 2026Contributor·

  ·
  59

• Add ARM64 build support for Linux and macOS

  build system / releasesenhancementfeature
  #772·bahnwaerter opened Feb 13, 2026Member·

  ·
  1

  4

  

• Some memory model simplifications

  C translationenhancement
  #768·maul-esel opened Dec 21, 2025Contributor·10 of 32 tasks·

  ·
  1

• Add C translation support for anonymous structs and unions

  C translationenhancement
  #758·bahnwaerter opened Nov 13, 2025Member·

  ·
  6

  

• Add packaging support for Docker images

  build system / releasesenhancementfeature
  #739·bahnwaerter opened Jul 25, 2025Member·

  ·
  47

  

• Show error if entry function does not exist

  #735·Heizmann opened Jul 11, 2025Member·

  ·
  3

  

• Use call as location for error node corresponding to requires

  #730·schuessf opened Jun 20, 2025Member·

  ·
  8

• Sleep-Reduced Thread-Modular Proofs and related CHC refactoring

  #701·maul-esel opened Jan 3, 2025Contributor·

  ·
  19

• Report invariants enforced by vacuous requirements

  featureReqAnalyzer
  #675·henkele opened Aug 27, 2024Contributor·

  ·
  8

• Add support for new property check for requirements called State-Recoverability

  featureReqAnalyzer
  #645·Tob1as864 opened Aug 15, 2023·

  ·
  54

• Fix CDT parser include file handling and support recursion for includes

  #639·bahnwaerter opened Jun 22, 2023Member·

  ·
  3