Update Ultimate framework components & dependencies

ultimate-pa / ultimate

The Ultimate program analysis framework.

https://ultimate-pa.org/

200 stars 41 forks source link

Update Ultimate framework components & dependencies #631

Closed bahnwaerter closed 4 days ago

bahnwaerter commented 1 year ago

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 consist of the following tasks:

[ ] Optional: Replace Ant build tasks by Maven
[ ] Migrate from JUnit 4 to JUnit 5
[ ] Update Eclipse Platform to the latest release
[ ] Update Eclipse CDT to to the latest release
[ ] Migrate from Java 11 to Java 17 (addressed by issue #603)

danieldietsch commented 1 year ago

It might also be necessary to fully migrate to Eclipse E4 -- I am not sure if the latest Eclipse Platform still supports the E3 framework. This might require a rework of the GUI components.

danieldietsch commented 1 year ago

BTW: I would really like to have this done. The current state is a major source of tech debt in Ultimate.

Heizmann commented 1 year ago

I absolutely appreciate that. I won't we able to contribute before the end of the semester, maybe I can only contribute after I acquired more funding. So, don't wait for me to get this done.

schuessf commented 4 days ago

Fixed by #672