ultimate icon indicating copy to clipboard operation
ultimate copied to clipboard

Published 20 hours ago • verified publisher icon ultimate-pa

Update Ultimate framework components & dependencies

Open bahnwaerter opened this issue 1 year ago • 3 comments

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)

bahnwaerter avatar May 01 '23 17:05 bahnwaerter

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 avatar May 01 '23 19:05 danieldietsch

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

danieldietsch avatar May 01 '23 19:05 danieldietsch

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.

Heizmann avatar May 02 '23 00:05 Heizmann