Search results

Bug: Ultimate provides wrong termination result

bug

Status: Open.

#755 In ultimate-pa/ultimate;

·pwnchaser openedon Oct 28, 2025

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

Automizer

bug

witness generation

Status: Open.

Bug

#754 In ultimate-pa/ultimate;

·bahnwaerter openedon Oct 7, 2025

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

bug

C translation

Status: Open.

Bug

#753 In ultimate-pa/ultimate;

·bahnwaerter openedon Oct 7, 2025

Is it possible to compile on arm?

build system / releases

question

Status: Open.

#749 In ultimate-pa/ultimate;

·paolo-di-biase openedon Sep 19, 2025

Bug: Memcpy with #memory_int and #memory_real present

bug

C translation

Status: Open.

Bug

#744 In ultimate-pa/ultimate;

·jankoerner openedon Aug 20, 2025

Bug: Wrong location with RCFGBuilder

bug

ICFG-related

Status: Open.

Bug

#741 In ultimate-pa/ultimate;

·schuessf openedon Aug 7, 2025

Bug: WebBackend web.config settings are ignored

bug

Status: Open.

#738 In ultimate-pa/ultimate;

·bemoeller openedon Jul 18, 2025

Bug: Ultimate C translation pointer casts

bug

C translation

Status: Open.

#727 In ultimate-pa/ultimate;

·jankoerner openedon May 22, 2025

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

bug

Status: Open.

#726 In ultimate-pa/ultimate;

·jankoerner openedon May 22, 2025

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

bug

C translation

feature

Status: Open.

#710 In ultimate-pa/ultimate;

·bahnwaerter openedon Mar 14, 2025

UAutomizer rejects witnesses based on their file-endings

Status: Open.

#706 In ultimate-pa/ultimate;

·marian-lingsch openedon Jan 27, 2025

Documentation Enhancement: Installing CDT

Status: Open.

#705 In ultimate-pa/ultimate;

·linusboyle openedon Jan 17, 2025