KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
42 stars 24 forks source link

Bump the gradle-deps group with 6 updates #3475

Closed dependabot[bot] closed 1 month ago

dependabot[bot] commented 1 month ago

Bumps the gradle-deps group with 6 updates:

Package From To
org.slf4j:slf4j-api 2.0.12 2.0.13
ch.qos.logback:logback-classic 1.4.8 1.5.6
io.github.eisop:checker-qual 3.42.0-eisop2 3.42.0-eisop3
io.github.eisop:checker-util 3.42.0-eisop2 3.42.0-eisop3
io.github.eisop:checker 3.42.0-eisop2 3.42.0-eisop3
org.checkerframework 0.6.28 0.6.39

Updates org.slf4j:slf4j-api from 2.0.12 to 2.0.13

Updates ch.qos.logback:logback-classic from 1.4.8 to 1.5.6

Commits
  • 7812a55 prepare release 1.5.6
  • 759fc25 fix issues/805 i.e. LOGBACK-1768, included file with inner conditional
  • 3d55638 start work on 1.5.6-SNAPSHOT
  • a91d2b6 notes about javadocs
  • c7c5e89 prepare release 1.5.5
  • 7db8797 upgrade build to slf4j 2.0.13
  • f9c04d2 test inclusion with conditionals
  • f32ed30 remove support for metaannotations for NoAutoStart annotation
  • 4476edd Search for @​NoAutoStart annotations in ancestor hierarchy, implemented interf...
  • a649c60 rename IncludeActionTest as IncludeModelHandlerTest
  • Additional commits viewable in compare view


Updates io.github.eisop:checker-qual from 3.42.0-eisop2 to 3.42.0-eisop3

Release notes

Sourced from io.github.eisop:checker-qual's releases.

Checker Framework 3.42.0-eisop3

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Changelog

Sourced from io.github.eisop:checker-qual's changelog.

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Commits
  • 204e917 new release 3.42.0-eisop3
  • 1724ef2 Prep for release
  • 6e31cef Conservatively remove InitializationStore#newFieldValueAfterMethodCall to o...
  • 9aeb565 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.670 (#718)
  • efecbf7 Adapt test to corrected JDK annotations (#710)
  • 39dc5e5 Update plugin de.undercouch.download to v5.6.0 (#717)
  • 5028c60 Support separate defaults for wildcard bounds and type variable bounds and us...
  • e5bfb16 Update versions.errorprone to v2.25.0 (#711)
  • d762804 Avoid javadoc targets for tests (#706)
  • 276cdd2 Support annotated JDKs that only use JSpecify annotations (#707)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker-util from 3.42.0-eisop2 to 3.42.0-eisop3

Release notes

Sourced from io.github.eisop:checker-util's releases.

Checker Framework 3.42.0-eisop3

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Changelog

Sourced from io.github.eisop:checker-util's changelog.

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Commits
  • 204e917 new release 3.42.0-eisop3
  • 1724ef2 Prep for release
  • 6e31cef Conservatively remove InitializationStore#newFieldValueAfterMethodCall to o...
  • 9aeb565 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.670 (#718)
  • efecbf7 Adapt test to corrected JDK annotations (#710)
  • 39dc5e5 Update plugin de.undercouch.download to v5.6.0 (#717)
  • 5028c60 Support separate defaults for wildcard bounds and type variable bounds and us...
  • e5bfb16 Update versions.errorprone to v2.25.0 (#711)
  • d762804 Avoid javadoc targets for tests (#706)
  • 276cdd2 Support annotated JDKs that only use JSpecify annotations (#707)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker from 3.42.0-eisop2 to 3.42.0-eisop3

Release notes

Sourced from io.github.eisop:checker's releases.

Checker Framework 3.42.0-eisop3

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Changelog

Sourced from io.github.eisop:checker's changelog.

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Commits
  • 204e917 new release 3.42.0-eisop3
  • 1724ef2 Prep for release
  • 6e31cef Conservatively remove InitializationStore#newFieldValueAfterMethodCall to o...
  • 9aeb565 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.670 (#718)
  • efecbf7 Adapt test to corrected JDK annotations (#710)
  • 39dc5e5 Update plugin de.undercouch.download to v5.6.0 (#717)
  • 5028c60 Support separate defaults for wildcard bounds and type variable bounds and us...
  • e5bfb16 Update versions.errorprone to v2.25.0 (#711)
  • d762804 Avoid javadoc targets for tests (#706)
  • 276cdd2 Support annotated JDKs that only use JSpecify annotations (#707)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker-util from 3.42.0-eisop2 to 3.42.0-eisop3

Release notes

Sourced from io.github.eisop:checker-util's releases.

Checker Framework 3.42.0-eisop3

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Changelog

Sourced from io.github.eisop:checker-util's changelog.

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Commits
  • 204e917 new release 3.42.0-eisop3
  • 1724ef2 Prep for release
  • 6e31cef Conservatively remove InitializationStore#newFieldValueAfterMethodCall to o...
  • 9aeb565 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.670 (#718)
  • efecbf7 Adapt test to corrected JDK annotations (#710)
  • 39dc5e5 Update plugin de.undercouch.download to v5.6.0 (#717)
  • 5028c60 Support separate defaults for wildcard bounds and type variable bounds and us...
  • e5bfb16 Update versions.errorprone to v2.25.0 (#711)
  • d762804 Avoid javadoc targets for tests (#706)
  • 276cdd2 Support annotated JDKs that only use JSpecify annotations (#707)
  • Additional commits viewable in compare view


Updates io.github.eisop:checker from 3.42.0-eisop2 to 3.42.0-eisop3

Release notes

Sourced from io.github.eisop:checker's releases.

Checker Framework 3.42.0-eisop3

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Changelog

Sourced from io.github.eisop:checker's changelog.

Version 3.42.0-eisop3 (March 1, 2024)

User-visible changes:

Performance improvements in the Nullness Checker.

Implementation details:

Support separate defaults for wildcard and type variable upper bounds. Add support for defaults for type variable uses. See changes in TypeUseLocation, QualiferDefaults, and QualifierHierarchy, as well as the new ParametricTypeVariableUseQualifier meta-annotation.

Refactored the TypeInformationPresenter into several classes in the new org.checkerframework.framework.util.visualize package.

Closed issues:

eisop#703, typetools#6433, typetools#6438.

Commits
  • 204e917 new release 3.42.0-eisop3
  • 1724ef2 Prep for release
  • 6e31cef Conservatively remove InitializationStore#newFieldValueAfterMethodCall to o...
  • 9aeb565 Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.670 (#718)
  • efecbf7 Adapt test to corrected JDK annotations (#710)
  • 39dc5e5 Update plugin de.undercouch.download to v5.6.0 (#717)
  • 5028c60 Support separate defaults for wildcard bounds and type variable bounds and us...
  • e5bfb16 Update versions.errorprone to v2.25.0 (#711)
  • d762804 Avoid javadoc targets for tests (#706)
  • 276cdd2 Support annotated JDKs that only use JSpecify annotations (#707)
  • Additional commits viewable in compare view


Updates org.checkerframework from 0.6.28 to 0.6.39

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 show ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself) - `@dependabot ignore minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself) - `@dependabot ignore ` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself) - `@dependabot unignore ` will remove all of the ignore conditions of the specified dependency - `@dependabot unignore ` will remove the ignore condition of the specified dependency and ignore conditions