Restore alias expansion in refinement diagnostic history
まだ誰も着手していません。
評価
調査の方向性
Start by tracing the VC simplification history that replaced the earlier alias derivation work in issues #160, #184, and #261. Add a regression test for the E_A2_04_CsvChunker mismatch or an equivalent found-versus-expected refinement failure. Done means failed checks retain structured alias expansions for both refinements, including substituted definitions and navigation back to alias names.
索引モデルが issue の本文から書いたものです。
説明
Alias expansion is used when checking a refinement, but the current VC simplification history does not record it. The earlier alias derivation feature from #160 and #184 was removed during the migration to VC simplification in #261.
For example, E_A2_04_CsvChunker reports Expected: Positive(buffered), Found: Nat(buffered), and counterexample buffered == 0. Here Nat(x) means x >= 0 and Positive(x) means x > 0, but the diagnostic contains no step that reveals those definitions.
Preserve the alias expansions used in a failed check as structured diagnostic data for both the found and expected refinements. A client should be able to show the substituted definitions and navigate back to the alias names. Add a regression test for this example or an equivalent mismatch.
- 主要言語
- Java
- スター
- 67
- フォーク
- 36
- 平均マージ
- 7日 48分
- マージ済み PR（30日）
- 2
環境構築
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
liquid-java/liquidjava のほかの issue
-
enhancement error messages future ide
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
liquid-java/liquidjava#298 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 48/100
liquid-java/liquidjava#297 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 55/100
liquid-java/liquidjava#296 ·
-
Add a flag -a to show all verification conditions sent to the smt solver再び着手できるかも @CatarinaGamboa が 116 日前に担当しましたが、オープン中のプルリクエストはありません。 オープンenhancement
liquid-java/liquidjava#240 · 担当者 1 名 ·
-
enhancement ide
難易度 3/5 1〜2日 初心者へのやさしさ 45/100
liquid-java/liquidjava#206 ·
liquid-java/liquidjava の issue をすべて見る
似ている issue
-
and-bugs and-ui gpx-track
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
メンテナーはふだん 2 日以内に返信
-
TerminalRow.mSpaceUsed (short) overflows on terminals wider than 1023 columns, crashing setCharオープン
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
termux/termux-app#5340 ·
メンテナーはふだん 1 日以内に返信
-
OpenAICompatibleToolDescriptorSchemaGenerator drops requiredProperties of nested object parametersオープン
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 7 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 86/100
apache/rocketmq-dashboard#5110 ·
メンテナーはふだん 1 日以内に返信
-
frontend
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
No-Country-simulation/S08-26-equipo04#210 ·
メンテナーはふだん 1 日以内に返信