Cuddle does not properly generate `.and` rules
還沒有人認領這個 Issue。
評估
研究方向
首先使用報告中所示的 ctrland 定義，透過 gen ctrland std-cddl/int.cddl; pretty 重現此問題。追蹤產生器如何處理 .and 組合，並在產生的輸出保留兩個約束而不是只產生 unsigned(1) 時，視為工作完成。
由索引模型根據 Issue 內容生成。
描述
➜ cuddle git:(js/validator) ✗ gen ctrland std-cddl/int.cddl; pretty
01 # unsigned(1)
Where ctrland is defined as:
ctrland = (uint .lt 3) .and (uint .gt 1)
- 主要語言
- Haskell
- 星號
- 8
- 分支
- 5
- 平均合併
- 3 天 12 小時
- 30 天內合併 PR
- 4
環境準備
這個專案沒有提供開發容器、Dockerfile 或貢獻指南，環境需要你自己搭建：先看它的 README，通用步驟見我們的新手貢獻指南。
從這裡開始
- 先讀完整個 Issue，再讀專案的貢獻指南。
- 在 Issue 下留言說明你要接手 —— 這能避免兩個人做同樣的事。
- Fork 儲存庫，在一個分支上完成修改。
- 送出 Pull Request，並在描述裡引用這個 Issue 編號。
IntersectMBO/cuddle 的其他 Issue
-
bug
難度 2/5 1-3 小時 新手友好度 78/100
IntersectMBO/cuddle#168 ·
-
bug
難度 2/5 1-3 小時 新手友好度 78/100
IntersectMBO/cuddle#167 ·
-
bug
難度 2/5 1-3 小時 新手友好度 72/100
IntersectMBO/cuddle#166 ·
-
難度 4/5 3-5 天 新手友好度 43/100
IntersectMBO/cuddle#223 ·
-
難度 4/5 3-5 天 新手友好度 48/100
IntersectMBO/cuddle#217 ·
查看 IntersectMBO/cuddle 的全部 Issue
相似的 Issue
-
難度 2/5 1-3 小時 新手友好度 68/100
維護者通常 1 天內回覆
-
needs triage type: bug
難度 2/5 1-3 小時 新手友好度 64/100
維護者通常 3 天內回覆
-
DL3009 is outdated or not taking apt distclean into account可能已有人在做 關聯的 PR 仍在進行中或已合併。 未關閉
難度 2/5 1-3 小時 新手友好度 68/100
維護者通常 1 天內回覆
-
30-minutes algorithm any-language codewars dart easy elixir hackerrank hacktoberfest haskell help wanted interview-prep julia leetcode lua open-source r scala students zig
難度 2/5 1-3 小時 新手友好度 77/100
Huerte/algo-solutions-python#226 ·
維護者通常 1 天內回覆
-
documentation
難度 2/5 1-3 小時 新手友好度 76/100
bittide/bittide-hardware#1357 ·