Bump the all-julia-packages group across 1 directory with 2 updates

[dependabot]

Updates the requirements on VectorInterface and JET to permit the latest version.
Updates VectorInterface to 0.7.0

Release notes

Sourced from VectorInterface's releases.

v0.7.0

VectorInterface v0.7.0

Diff since v0.6.1

• Make Zero and One subtypes of Real, rather than just Number. This is a breaking change.

Merged pull requests:

• Make Zero/One subtypes of Real (#54) (@​lkdvos)

Commits

• b798587 Make Zero/One subtypes of Real (#54)
• bc15948 Respect strong zero in axpby (#55)
• 174ac48 Fix docs build for release tags (#53)
• 137f838 Manage Julia compat with Dependabot (#52)
• 02e0ca4 Make Format check safe for fork PRs (#51)
• bf247c3 Re-enable coverage and fix some Const issues (#50)
• b69c4a9 Bump codecov/codecov-action from 6 to 7 (#47)
• a169944 Bump actions/checkout from 6 to 7 (#49)
• 5e91e2d even more fixes and tests for mixed type AD (#46)
• ddb4de1 Handle mixed types for inner properly (#45)
• Additional commits viewable in compare view

Updates JET to 0.12.2

Release notes

Sourced from JET's releases.

v0.12.2

JET v0.12.2

Diff since v0.12.1

Merged pull requests:

• build(deps): bump dawidd6/action-download-artifact from 21 to 24 (#859) (@​dependabot[bot])
• toplevel: Suppress reports from concretized calls (#862) (@​aviatesk)
• toplevel: Merge non-constant global binding states across assignments (#864) (@​aviatesk)
• abstractinterpret: Support literal callee objects in signatures (#865) (@​aviatesk)
• toplevel: Materialize untyped global declarations under control flow (#866) (@​aviatesk)
• toplevel: Add a timeout for concrete execution of top-level statements (#869) (@​aviatesk)
• toplevel: Report invalid constant declarations without crashing (#870) (@​aviatesk)
• toplevel: Fix documented binding analysis on Julia 1.13 (#871) (@​aviatesk)
• jetanalyzer: Suppress incompatible global assignments in typo mode (#872) (@​aviatesk)
• toplevel: Make concretization_timeout cover calls from top-level code (#873) (@​aviatesk)
• jetanalyzer: Avoid spurious errors for unknown ntuple lengths (#874) (@​aviatesk)
• jetanalyzer: Add overlays for Libdl.dlsym and tuple in (#875) (@​aviatesk)
• jetanalyzer: Add overlays for bottom-type arity guards (#876) (@​aviatesk)

Closed issues:

• False positive BoundsError for getindex on a Tensor (#678)
• @​report_opt crashes on Julia 1.13: typeof_arg does not support Base.BottomRF in optimized IR (#863)

Changelog

Sourced from JET's changelog.

[0.12.2]

Added

• Added the concretization_timeout configuration (10 seconds by default), which bounds the time JET spends concretely executing a single top-level statement. Exceeding it produces a ConcretizationTimeoutErrorReport instead of hanging on nonterminating loops that contain top-level definitions.

Changed

• Concrete execution of top-level statements now interprets function calls recursively with JuliaInterpreter instead of running them natively. This lets concretization_timeout stop nonterminating loops inside functions called from top-level code, and error reports from such calls now include the interpreted stack frames. ConcretizationTimeoutErrorReport likewise shows the calls that were running when the timeout hit. Blocks selected by concretization_patterns keep executing their calls natively. Code that runs natively, such as ccalls, code evaluated by Core.eval and those calls, still cannot be interrupted.

Fixed

• Fixed spurious BoundsError reports when analyzing ntuple calls with an aviatesk/JET.jl#678

• Fixed spurious NonBooleanCondErrorReports when branching on in checks against tuples, as in x in (1, 2) ? a : b, on Julia 1.12 and 1.13.

• Improved analysis accuracy for code that uses Libdl.dlsym.

• Fixed spurious MethodError reports for expressions such as complex(a, b) / 2 with imprecisely inferred inputs, and improved inference for IndexStyle and related Base traits.

• Fixed report_file hanging when a nonterminating top-level loop assigns to a global variable. Global declarations emitted by assignments under control flow no longer pull the enclosing loop or branch condition into concrete execution.

• Fixed @report_opt crashing when optimized code dynamically calls a callable object literal such as Base.BottomRFaviatesk/JET.jl#863

• Fixed error reports being dropped when concrete evaluation proves the reported call always throws.

• Fixed spurious field-access errors when analyzing parametric type definitions with inner constructors.

• Fixed concretization_patterns not matching global assignments with

... (truncated)

Commits

• See full diff in compare view

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
see 56 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.