no message #3973
Merged
no message #3973
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Closed
Signed-off-by: Eric Vergnaud <eric.vergnaud@wanadoo.fr>
KvanTTT
reviewed
Nov 20, 2022
| To ensure proper support of this feature, each release of ANTLR is a complete release of the tool and the 10 runtimes, all with the same version. | ||
| As such, ANTLR versioning does not strictly follow semver semantics: | ||
| - a component may be released with the latest version number even though nothing has changed within that component since the previous release | ||
| - major version is bumped only when new grammar features are released (such as ANTLR3 -> ANTLR4) |
There was a problem hiding this comment.
It's not clear what grammar features mean here. For instance, in ANTLR 4.10 the new grammar feature caseInsensitive was added. Is it a new grammar feature?
There was a problem hiding this comment.
I'll tweak after merge. i'll call it "complete rewrites" or ...
parrt
added a commit
to parrt/antlr4
that referenced
this pull request
Nov 20, 2022
…trategy no message
|
tweaked and pulled to dev |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
@parrt for your review, no code change