RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
The 4.12.0 release is primarily about the new TypeScript target created by @ericvergnaud. There are also a number of fixes to the various targets, as you can see from the descriptions below.
[[Go target] Fix for #3926: Add accessors for tree navigation to interfaces in generated parser](antlr/antlr4#3927) (trees-contexts, code-gen, type:improvement, target:go)
[[Go target] Fix for #3926: Add accessors for tree navigation to interfaces in generated parser](antlr/antlr4#3927) (trees-contexts, code-gen, type:improvement, target:go)
[fix: #3758 Extrememly poor performance on poorly written grammars](antlr/antlr4#3880) (target:go, comp:performance)
Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.
Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
- `@dependabot rebase` will rebase this PR
- `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it
- `@dependabot merge` will merge this PR after your CI passes on it
- `@dependabot squash and merge` will squash and merge this PR after your CI passes on it
- `@dependabot cancel merge` will cancel a previously requested merge and block automerging
- `@dependabot reopen` will reopen this PR if it is closed
- `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
- `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
- `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
Bumps antlr4-maven-plugin from 4.11.1 to 4.12.0.
Release notes
Sourced from antlr4-maven-plugin's releases.
... (truncated)
Commits
a2c349f
[maven-release-plugin] prepare release 4.12.06763f58
Merge branch 'dev'46445ea
bump version to 4.12.0a156a06
Revert "cpp runtime: Remove pthread dependency. (#4086)"d7ae9c1
Small tweaks to Swift.stg to allow throwing operations in actions2073147
cpp runtime: Remove pthread dependency. (#4086)b6cb1cc
Cpp: Add cmake options to selectively disable shared/static build1bd8bbe
Cpp: Remove deprecated policy settingsb028de2
Cpp: Remove redundant cmake version checks3655c87
Add missing space to actions.md (#4105)Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase
.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)