All issues

Bug: Ultimate provides unsound termination result

#781

· debugfe opened

on Apr 20, 2026

Bug: Ultimate's termination analysis infers wrong ranking function

#776

· debugfe opened

on Mar 5, 2026

Running ReqCheck on Linux for testcase generation

#769

· olaf-hochherz-work opened

on Jan 7, 2026

Bug: Taipan-Default does not detect reachable error call

#763

· AlexWatts98 opened

on Dec 1, 2025

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

#762

· bahnwaerter opened

on Nov 27, 2025

Multibyte patterns in `scanf` are handled incorrectly

#761

· schuessf opened

on Nov 23, 2025

Bug: Ultimate C translation generates incorrect union field accesses

#759

· bahnwaerter opened

on Nov 15, 2025

Bug: Ultimate provides wrong termination result

#755

· pwnchaser opened

on Oct 28, 2025

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

witness generation

#754

· bahnwaerter opened

on Oct 7, 2025

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

#753

· bahnwaerter opened

on Oct 7, 2025

Is it possible to compile on arm?

build system / releases

#749

· paolo-di-biase opened

on Sep 19, 2025

Bug: Memcpy with #memory_int and #memory_real present

#744

· jankoerner opened

on Aug 20, 2025