All pull requests

Pull requests

• KInduction as worker thread

  #825·MaxBarth95 opened Oct 17, 2026Contributor·

  ·
  6

• Add automaton patterns

  #820·tkolzer opened Oct 12, 2026·

  ·

• Bump source-map-js from 1.2.1 to 1.2.2 in /trunk/source/WebsiteStatic/bootstrap_dev

  dependenciesjavascript
  #819·dependabot[bot] opened Oct 9, 2026Bot·

  ·

• Bump brace-expansion from 1.1.18 to 1.1.21 in /trunk/source/WebsiteStatic/bootstrap_dev

  dependenciesjavascript
  #818·dependabot[bot] opened Oct 9, 2026Bot·

  ·

• Revised Webinterface

  #817·Heizmann opened Oct 1, 2026Member·

  ·
  5

• Wip/xj/congruence

  #812·Heizmann opened Sep 23, 2026Member·

  ·
  3

• PolyPoNe: bitvector inequality relation support

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

  ·
  16

  

• 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 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 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

  

• 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