test(ad): re-enable Enzyme gradient tests skipped on Julia 1.13
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 48/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- julia
- 領域
- compilers, testing-qa
調査の方向性
Start with the four skips in test/autodiff.jl:93, test/autodiff.jl:202, and test/enzyme_rules.jl:137,308, then run the Julia 1.13 CI tests to reproduce the EnzymeRuntimeActivityError and LLVM verification failure. Reduce the _cf_flux_rewrite! failure to an MWE for Enzyme.jl; done means the guards are removed with green 1.13 legs, or the runtime-activity tests are restored and the LLVM crash has a linked upstream issue.
索引モデルが issue の本文から書いたものです。
説明
Four Enzyme gradient tests are skipped on Julia 1.13. CI runs only 1.10 and 1.13, so the one binding AD invariant they cover (gradients w.r.t. operator parameters, e.g. dκ, must not be silently zeroed) is now checked on half the matrix. A future rule that fires on a parameter path would pass the 1.13 legs.
Two separate Enzyme 0.13.204-on-1.13 failures. The same code and Enzyme version pass on 1.10–1.12:
EnzymeRuntimeActivityErrorinallocate_output(::Gradient, …):similarstores theConstgrid into a new activeField. Skips:test/autodiff.jl:93(κ parameter gradient, Decision B) andtest/enzyme_rules.jl:308. The Diffusion half of theenzyme_rules.jltest already opts into runtime activity and still runs, so opting in here, or makingallocate_outputnot route the grid through an active shadow, may be enough without waiting on upstream.LLVM ERROR: function failed verification("Instruction does not dominate all uses!") while differentiating_cf_flux_rewrite!(src/operators/diffusion.jl). This aborts the whole test process. Skips:test/autodiff.jl:202andtest/enzyme_rules.jl:137. This one is most likely upstream. Reduce it to an MWE and file it on Enzyme.jl.
Done when all four if VERSION < v"1.13" guards are removed and the 1.13 legs are green. Failing that, the runtime-activity pair is re-enabled and the LLVM crash has a linked upstream issue.
—
🤖 Filed by Claude, who noticed half the CI matrix had stopped checking its homework.
claude-opus-5-5[1m] (high) · claude-code 2.1.285 · unreviewed
- 主要言語
- Julia
- スター
- 3
- フォーク
- 1
- 平均マージ
- 1日 28分
- マージ済み PR（30日）
- 6
環境構築
このプロジェクトには開発コンテナ、Dockerfile、コントリビューションガイドがありません。まず README を読み、一般的な手順ははじめてのコントリビューションガイドを参照してください。
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
RallypointOne/MatrixFreeOperators.jl のほかの issue
-
難易度 4/5 3〜5日 初心者へのやさしさ 45/100
-
performance
難易度 5/5 1週間以上 初心者へのやさしさ 45/100
-
perf(forest): thread the reference BlockForest path — leaf sweeps and exchange descriptor loopsオープンperformance
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
enhancement
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
RallypointOne/MatrixFreeOperators.jl#81 · コメント 1 件 ·
RallypointOne/MatrixFreeOperators.jl の issue をすべて見る
似ている issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 61/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 83/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 80/100
Deltares/Wflow.jl#1145 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
JuliaDiff/FiniteDiff.jl#238 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
JuliaDiff/SparseMatrixColorings.jl#356 ·
メンテナーはふだん 1 日以内に返信