Skip to content

Use SDK 1.13 grammar#111

Merged
rousso merged 3 commits intodevelopfrom
use-sdk-1.13-grammar
Apr 21, 2025
Merged

Use SDK 1.13 grammar#111
rousso merged 3 commits intodevelopfrom
use-sdk-1.13-grammar

Conversation

@bertrand-lorentz
Copy link
Copy Markdown
Contributor

Use the grammar from SDK 1.13.0 to benefit from a performance improvement in the generated parser.

Also a small dependency update.

We use specific SDK versions to get the EFX grammar files for SDK v1 and
v2. Define those versions as properties like all other dependencies.
This version of the grammar improve the performance of generated
parsers, with no impact on consumers of the parsers.
This removes warnings when building with JDK version 19 or above.
@rousso rousso merged commit 04d3e7e into develop Apr 21, 2025
@rousso rousso deleted the use-sdk-1.13-grammar branch April 21, 2025 09:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants