Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Migrate Ultimate to Java 21 and update framework components #672

Merged
merged 79 commits into from
Nov 12, 2024
Merged

Migrate Ultimate to Java 21 and update framework components #672

merged 79 commits into from
Nov 12, 2024

Commits on Nov 6, 2024

  1. Bump Java version in OSGI bundles from Java 11 to Java 21

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    dfe10b0 View commit details
    Browse the repository at this point in the history

  2. Bump Java version in legacy OSGI bundles from Java 6 / 8 to Java 21

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    dfb8bc0 View commit details
    Browse the repository at this point in the history

  3. Bump Java version in classpaths to Java 21

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    a1201ca View commit details
    Browse the repository at this point in the history

  4. Remove SVN folder exclusions from class path entries

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    90c5232 View commit details
    Browse the repository at this point in the history

  5. Remove unused natures from Eclipse projects

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    ba4c5db View commit details
    Browse the repository at this point in the history

  6. Remove unavailable solarlintBuilder from Eclipse projects

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    12e3992 View commit details
    Browse the repository at this point in the history

  7. Add missing automatic module name to WebBackend

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    aba743b View commit details
    Browse the repository at this point in the history

  8. Bump Java version in product, platform targets, and launchers to Java 21

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    f4438ba View commit details
    Browse the repository at this point in the history

  9. Update Maven plugins to latest versions

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    9300b96 View commit details
    Browse the repository at this point in the history

  10. Remove old platform target based on Eclipse 4.17 and Java 11

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    8514714 View commit details
    Browse the repository at this point in the history

  11. Add new platform target based on Eclipse 4.32, CDT 11.6 and Java 21

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    8e7d677 View commit details
    Browse the repository at this point in the history

  12. Replace old plugin IDs and package names with new ones

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    8e81643 View commit details
    Browse the repository at this point in the history

  13. Migrate Apache Batik plugin names

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    e88ae0c View commit details
    Browse the repository at this point in the history

  14. Migrate bundle names to match provided bundles by Eclipse 4.32 / CDT … 

    …11.6
    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    27e69a6 View commit details
    Browse the repository at this point in the history

  15. Replace W3C DOM bundles with legacy Eclipse bundle

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    7014800 View commit details
    Browse the repository at this point in the history

  16. Update platform and Java configuration of Tycho Maven plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    9c4c71f View commit details
    Browse the repository at this point in the history

  17. Remove retired M2E Maven plugin (nowadays integrated into Eclipse)

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    df1b282 View commit details
    Browse the repository at this point in the history

  18. Update eclipse-java-formatter.xml with new Java features

    @schuessf @danieldietsch
    schuessf authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    7ee836c View commit details
    Browse the repository at this point in the history

  19. Add missing bundle vendor name to Manifest files

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    5904743 View commit details
    Browse the repository at this point in the history

  20. Migrate broken SVG export

    @schuessf @danieldietsch
    schuessf authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    67a8c63 View commit details
    Browse the repository at this point in the history

  21. Use timestamp as filename for SVG export

    @schuessf @danieldietsch
    schuessf authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    3da9441 View commit details
    Browse the repository at this point in the history

  22. Remove ojAlgo library and unused LpSolver from AbstractInterpretationV2

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    d9ecb9a View commit details
    Browse the repository at this point in the history

  23. Migrate broken WebBackend to Jetty 12.x

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    3c104cf View commit details
    Browse the repository at this point in the history

  24. Migrate broken WebBackend logging to Log4j2 via PaxLogging

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    628b121 View commit details
    Browse the repository at this point in the history

  25. Rewrite Ant build for ACSLParser plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    d1808f4 View commit details
    Browse the repository at this point in the history

  26. Rewrite Ant build for ASTBuilder plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    a91ea0f View commit details
    Browse the repository at this point in the history

  27. Replace JUNG library with external dependency

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    d15f75a View commit details
    Browse the repository at this point in the history

  28. Update XML binding generation and adjust XML bundles & packages

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    130cbb6 View commit details
    Browse the repository at this point in the history

  29. Add OSGI resource locator to load glassfish XML binding implementatio… 

    …n properly
    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    9bbacde View commit details
    Browse the repository at this point in the history

  30. Remove unused JavaBDD library

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    20cd62a View commit details
    Browse the repository at this point in the history

  31. Rewrite Ant build for Boogie AST library

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    6aea491 View commit details
    Browse the repository at this point in the history

  32. Rewrite Ant build for SMTInterpol plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    b8c8461 View commit details
    Browse the repository at this point in the history

  33. Rewrite Ant build for SMTSolverBridge plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    fb1a5ac View commit details
    Browse the repository at this point in the history

  34. Rewrite Ant build for BoogiePLParser plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    2017c4e View commit details
    Browse the repository at this point in the history

  35. Rewrite Ant build for AutomataScriptParser plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    ca1866d View commit details
    Browse the repository at this point in the history

  36. Rewrite Ant build for srParse library

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    a7e6d72 View commit details
    Browse the repository at this point in the history

  37. Rewrite Ant build for Crocotta plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    b6049c2 View commit details
    Browse the repository at this point in the history

  38. Rewrite Ant build for LTL2aut plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    ceb4c75 View commit details
    Browse the repository at this point in the history

  39. Rewrite Ant build for ConstraintParser plugin

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    c75bc93 View commit details
    Browse the repository at this point in the history

  40. Disable Maven nature for all Eclipse projects

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    47b4c75 View commit details
    Browse the repository at this point in the history

  41. Rewrite Ant build for UltimateTest library

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    f88296e View commit details
    Browse the repository at this point in the history

  42. Use Tycho platform target file for Maven builds

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    8c1b856 View commit details
    Browse the repository at this point in the history

  43. Remove unused path variables from Maven parent

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    29b443b View commit details
    Browse the repository at this point in the history

  44. Remove unused Log4j2 wrapper of the logging service

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    4c1973e View commit details
    Browse the repository at this point in the history

  45. Rewrite Ant build for JavaCup build dependency

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    226e2b5 View commit details
    Browse the repository at this point in the history

  46. Unify all platform target files and resolve dependencies automatically

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    cf5bb2b View commit details
    Browse the repository at this point in the history

  47. Add bundle with GTK specific code to enhance the UI

    @bahnwaerter @danieldietsch
    bahnwaerter authored and danieldietsch committed Nov 6, 2024
    Configuration menu
    Copy the full SHA
    c451333 View commit details
    Browse the repository at this point in the history

Commits on Nov 7, 2024

  1. Adjust Eclipse product files

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    7457bf7 View commit details
    Browse the repository at this point in the history

  2. Regenerate Eclipse OSGI launch files with Eclipse 4.32

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    370fd0a View commit details
    Browse the repository at this point in the history

  3. Regenerate feature files with Eclipse 4.32

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    3d578fc View commit details
    Browse the repository at this point in the history

  4. Enable Sonar scan for nightly builds 

    This change reverts the following commits:

  - dc22a55: "disable sonar until further notice"
  - 6ba0640: "use JDK 17 for sonar run"
  - 7843020: "fix indentation"
  - 76e8aa7: "add tool section"
    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    0fe09a7 View commit details
    Browse the repository at this point in the history

  5. tell Jenkins to use JDK 21

    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    ce97a23 View commit details
    Browse the repository at this point in the history

  6. also use maven 3.9.8

    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    5c4f35b View commit details
    Browse the repository at this point in the history

  7. update versions to 0.3.0 for new release based on Java 21

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    a2d2d44 View commit details
    Browse the repository at this point in the history

  8. Remove unavailable Tycho Surfire plugin configuration option

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    c5400cc View commit details
    Browse the repository at this point in the history

  9. Add settings to be imported into Eclipse 

    This should drastically simplify the initial setup.
These settings include:
* the target platform
* the workspace dir (is this still necessary?)
* the configuration of the warnings/errors/etc.
* the configuration of the Java formatter (from coding-conventions/eclipse-java-formatter.xml; has slightly changed; might be removed)
* the save actions (slightly more than before; also updated for new Java features)

The last two points modify our coding conventions (but also "force" everyone to use them), so existing source files might have to be modified.
    @schuessf @bahnwaerter
    schuessf authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    24f9f96 View commit details
    Browse the repository at this point in the history

  10. Add Java version to settings

    @schuessf @bahnwaerter
    schuessf authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    e276251 View commit details
    Browse the repository at this point in the history

  11. Bump Tycho and Eclipse compiler version

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    af89076 View commit details
    Browse the repository at this point in the history

  12. Remove Eclipse setting of unused Ant workspacedir variable

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    4c20380 View commit details
    Browse the repository at this point in the history

  13. Add Eclipse setting to give workspace a name and disable tips and tricks

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    fb2bae1 View commit details
    Browse the repository at this point in the history

  14. Replace JUNG packages with external monolithic built package

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    c76ba43 View commit details
    Browse the repository at this point in the history

  15. use -21 p2 repo containing java21 versions of our dependencies

    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    10c63f6 View commit details
    Browse the repository at this point in the history

  16. update java in forgotten website deploy jenkinsfile

    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    868625b View commit details
    Browse the repository at this point in the history

  17. use nexus.sopranium.de as proxy instead of directly contacting update… 

    … sites
    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    5f77041 View commit details
    Browse the repository at this point in the history

  18. Remove eclipse-java-formatter.xml (already included in eclipse_settin… 

    …gs.epf)
    @schuessf @bahnwaerter
    schuessf authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    d36008f View commit details
    Browse the repository at this point in the history

  19. Update Ultimate.py wrapper script for Java 21 

    - update name of expected launcher JAR
- fix expected java version
    @maul-esel @bahnwaerter
    maul-esel authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    1c838d1 View commit details
    Browse the repository at this point in the history

  20. use type=mixed s.t. run configurations will have plugins as default

    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    9d8fcd6 View commit details
    Browse the repository at this point in the history

  21. only add necessary plugins to target definition

    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    2fa51d9 View commit details
    Browse the repository at this point in the history

  22. Revert "use nexus.sopranium.de as proxy instead of directly contactin… 

    …g update sites"

This reverts commit 72b8171.
    @danieldietsch @bahnwaerter
    danieldietsch authored and bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    b52987b View commit details
    Browse the repository at this point in the history

  23. Create explicit PDE platform target for each environment

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    0de1e01 View commit details
    Browse the repository at this point in the history

  24. Place logo of Ultimate in about dialog

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    e56c3f4 View commit details
    Browse the repository at this point in the history

  25. Unify resolution of toolchain icons to fix scaling issues in GUI

    @bahnwaerter
    bahnwaerter committed Nov 7, 2024
    Configuration menu
    Copy the full SHA
    1b924e2 View commit details
    Browse the repository at this point in the history

Commits on Nov 11, 2024

  1. Revert "Replace JUNG packages with external monolithic built package" 

    This reverts commit c76ba43.
    @bahnwaerter
    bahnwaerter committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    565fd44 View commit details
    Browse the repository at this point in the history

  2. Revert "Replace JUNG library with external dependency"

    @bahnwaerter
    bahnwaerter committed Nov 11, 2024
    Configuration menu
    Copy the full SHA
    3e44711 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2024

  1. Rename Windows PDE target file according to platform architecture name

    @bahnwaerter
    bahnwaerter committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    7b7be96 View commit details
    Browse the repository at this point in the history

  2. Reformat PDE target platform files

    @bahnwaerter
    bahnwaerter committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    f9448aa View commit details
    Browse the repository at this point in the history

  3. Revert "use type=mixed s.t. run configurations will have plugins as d… 

    …efault"

This reverts commit 9d8fcd6.
    @bahnwaerter
    bahnwaerter committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    66894fa View commit details
    Browse the repository at this point in the history

  4. Add missing infos/warnings to eclipse_settings.epf

    @schuessf @bahnwaerter
    schuessf authored and bahnwaerter committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    af267b8 View commit details
    Browse the repository at this point in the history

  5. Reference generic PDE target platform in architecture-specific platfo… 

    …rm files
    @bahnwaerter
    bahnwaerter committed Nov 12, 2024
    Configuration menu
    Copy the full SHA
    37bf527 View commit details
    Browse the repository at this point in the history