Issues

• Bug: STATEMENT_LEVEL unsat cores appears to be unsound (reachability)

  bug
  ultimate-pa/ultimate#815 · Filter by author mksvoboda97 opened on Sep 28, 2026

• Bug: Wrong termination result for recursive program

  bug
  ultimate-pa/ultimate#814 · Filter by author debugfe opened on Sep 25, 2026

• Bug: Ultimate provides unsound termination result

  bug
  Bug

  ultimate-pa/ultimate#781 · Filter by author debugfe opened on Apr 20, 2026
  2

• Bug: Ultimate's termination analysis infers wrong ranking function

  bug
  Bug

  ultimate-pa/ultimate#776 · Filter by author debugfe opened on Mar 5, 2026
  2

• Running ReqCheck on Linux for testcase generation

  ultimate-pa/ultimate#769 · Filter by author olaf-hochherz-work opened on Jan 7, 2026
  2

• Bug: Taipan-Default does not detect reachable error call

  bugTaipantrace checker
  Bug

  ultimate-pa/ultimate#763 · Filter by author AlexWatts98 opened on Dec 1, 2025
  1

• Bug: Ultimate C translation generates incorrect Boogie implementation for memcpy(...) and memmove(...)

  bugC translation
  Bug

  ultimate-pa/ultimate#762 · Filter by author bahnwaerter opened on Nov 27, 2025

• Multibyte patterns in scanf are handled incorrectly

  C translation
  Bug

  ultimate-pa/ultimate#761 · Filter by author schuessf opened on Nov 23, 2025

• Bug: Ultimate C translation generates incorrect union field accesses

  bugC translation
  ultimate-pa/ultimate#759 · Filter by author bahnwaerter opened on Nov 15, 2025
  5

• Bug: Ultimate fails to compute Hoare annotation due to inductivity violation

  Automizerbugwitness generation
  Bug

  ultimate-pa/ultimate#754 · Filter by author bahnwaerter opened on Oct 7, 2025
  2

• Bug: Ultimate C translation fails to annotate function contracts containing references to an array

  bugC translation
  Bug

  ultimate-pa/ultimate#753 · Filter by author bahnwaerter opened on Oct 7, 2025
  2

• Is it possible to compile on arm?

  build system / releasesquestion
  ultimate-pa/ultimate#749 · Filter by author paolo-di-biase opened on Sep 19, 2025
  10

• Bug: Memcpy with #memory_int and #memory_real present

  bugC translation
  Bug

  ultimate-pa/ultimate#744 · Filter by author jankoerner opened on Aug 20, 2025
  1

• Bug: Wrong location with RCFGBuilder

  bugICFG-related
  Bug

  ultimate-pa/ultimate#741 · Filter by author schuessf opened on Aug 7, 2025
  1

• Bug: WebBackend web.config settings are ignored

  bug
  ultimate-pa/ultimate#738 · Filter by author bemoeller opened on Jul 18, 2025
  1

• Bug: Ultimate C translation pointer casts

  bugC translation
  ultimate-pa/ultimate#727 · Filter by author jankoerner opened on May 22, 2025
  8

• Bug: Ultimate C translation pointer casts using "use bitvectors instead of ints"

  bug
  ultimate-pa/ultimate#726 · Filter by author jankoerner opened on May 22, 2025
  2

• Bug: Ultimate C translation fails to handle static asserts in global scope

  bugC translationfeature
  ultimate-pa/ultimate#710 · Filter by author bahnwaerter opened on Mar 14, 2025
  4

• UAutomizer rejects witnesses based on their file-endings

  ultimate-pa/ultimate#706 · Filter by author marian-lingsch opened on Jan 27, 2025
  1

• Documentation Enhancement: Installing CDT

  ultimate-pa/ultimate#705 · Filter by author linusboyle opened on Jan 17, 2025
  6

• Support Skolem functions in TreeAutomizer

  featurehorn clausesTreeAutomizer
  ultimate-pa/ultimate#679 · Filter by author maul-esel opened on Sep 24, 2024

• [Question] How can I find the usage of Ultimate IntBlastingWrapper?

  ultimate-pa/ultimate#669 · Filter by author merlinsun opened on Jul 18, 2024
  2

• Bug: Ultimate C parser crashes when there are Doxygen group comments in the C code

  ACSLbug
  ultimate-pa/ultimate#667 · Filter by author bahnwaerter opened on May 23, 2024
  4

• Bug: Ultimate Automizer missing an assertion violation when casting to pointer

  bug
  ultimate-pa/ultimate#661 · Filter by author salvadorer opened on Feb 9, 2024
  2

  

• Question: How to use bvbuiltin functions in LTLAutomizer?

  ultimate-pa/ultimate#659 · Filter by author GreenieQwQ opened on Jan 9, 2024
  1