Search results

Bug: Ultimate C translation pointer casts

bug

Status: Open.

#727 In ultimate-pa/ultimate;

· jankoerner opened on May 22, 2025

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

bug

Status: Open.

#726 In ultimate-pa/ultimate;

· jankoerner opened on May 22, 2025

Nightly builds cannot be downloaded

build system / releases

Status: Open.

#725 In ultimate-pa/ultimate;

· koppor opened on May 20, 2025

Bug: Ultimate C translation fails to generate check for array bounds

bug

C translation

Status: Open.

#716 In ultimate-pa/ultimate;

· bahnwaerter opened on May 6, 2025

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

bug

C translation

Status: Open.

#710 In ultimate-pa/ultimate;

· bahnwaerter opened on Mar 14, 2025

UAutomizer rejects witnesses based on their file-endings

Status: Open.

#706 In ultimate-pa/ultimate;

· marian-lingsch opened on Jan 27, 2025

Documentation Enhancement: Installing CDT

Status: Open.

#705 In ultimate-pa/ultimate;

· linusboyle opened on Jan 17, 2025

Bug: Designated initializers for C structs broken in C translation

bug

C translation

Status: Open.

#693 In ultimate-pa/ultimate;

· bahnwaerter opened on Nov 14, 2024

Support Skolem functions in TreeAutomizer

feature

horn clauses

TreeAutomizer

Status: Open.

#679 In ultimate-pa/ultimate;

· maul-esel opened on Sep 24, 2024

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

Status: Open.

#669 In ultimate-pa/ultimate;

· merlinsun opened on Jul 18, 2024

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

bug

Status: Open.

#667 In ultimate-pa/ultimate;

· bahnwaerter opened on May 23, 2024

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

bug

Status: Open.

#661 In ultimate-pa/ultimate;

· salvadorer opened on Feb 9, 2024