ClemsonRSRG / RESOLVE

RESOLVE (REusable SOftware Language with VErification) is a specification and programming language designed for verifying correctness of object oriented programs.
https://www.cs.clemson.edu/resolve/
BSD 3-Clause "New" or "Revised" License
24 stars 16 forks source link

Bump antlr4-maven-plugin from 4.10.1 to 4.11.1 #403

Closed dependabot[bot] closed 2 years ago

dependabot[bot] commented 2 years ago

Bumps antlr4-maven-plugin from 4.10.1 to 4.11.1.

Release notes

Sourced from antlr4-maven-plugin's releases.

4.11.0 consist primarily:

  • a major rebuild of the Go target by Jim Idle. Please see Go target doc for more information, as it now requires the go module stuff.
  • huge internal refractoring of testing and various target speed improvements by Ivan Kochurkin
  • Getting all targets to run on all operating systems using github actions by HS.

The details by type and target follow.

Issues fixed

Improvements, features

Pull requests grouped by target

csharp target

cpp target

... (truncated)

Commits
  • 9239e6f [maven-release-plugin] prepare release 4.11.1
  • d5dd253 update to 4.11.1
  • 7229933 tweak code / doc related to bad previous release
  • d23f010 tweak release doc
  • 40e96ba tweak c++ build script to make Mac binaries with cmake/make
  • 3a2053e tweak doc
  • 10e7f2a Merge branch 'dev'
  • 0a94a38 use build and twine to publish source and wheel
  • a79d26e tweak js and doc
  • 67f63fa [maven-release-plugin] prepare for next development iteration
  • Additional commits viewable in compare view


Dependabot compatibility score

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)