Manuel Bentele

Fix CDT parser include file handling and support recursion for includes

1

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...

Update Ultimate framework components & dependencies

3

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...

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

3

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...

Migrate Ultimate to Java 21 and update framework components

9

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...