Manuel Bentele
Manuel Bentele
This patch adds a new CDT parser option to support recursive adding of include files. With this option, include files can be added recursively from subdirectories of include paths as...
Most of the used framework components and Java dependencies are outdated right now. Therefore an update of all used components and linked dependencies would be great. Such an update may...
The current C parser crashes when there are Doxygen group comments in the C code. This issue can be reproduced with the latest version of Ultimate Automizer (0.2.4-dev-1ececfe with OpenJDK...
This series of patches migrates Ultimate to Java 21 and updates the framework components to the following versions: - Eclipse 4.32 - Eclipse CDT 11.6 - Jetty 12 The patches...
The current C translation fails to generate the check for array bounds. This issue can be reproduced with the latest version of Ultimate Automizer (0.3.0-dev-d3f2951 with OpenJDK 21.0.6) using the...
The current C translation fails to handle static asserts in the global scope of the code (outside of the program's control flow). This issue can be reproduced with the latest...
Designated initializers for C structs according to C99 are broken in Ultimate in version 0.3.0-dev-f28124e. The C translation plugin does not seem to correctly handle the lookup of C struct...
The current C translation generates an incorrect Boogie implementation for the C memory management functions `memcpy(...)` and `memmove(...)`. This issue can be reproduced with Ultimate Automizer (0.3.1-dev-00d43373f5 with OpenJDK 21.0.9)...
The current C translation generates incorrect accesses to an union field.This issue can be reproduced with Ultimate Automizer (0.3.0-dev-23b7c4e042 with OpenJDK 21.0.9) using the following input: ```C union u {...