Cell extraction and substitution in Kore.
还没有人认领这个 Issue。
评估
调研方向
The issue provides no body, files, tests, or entry points. Start by searching the K repository for references to cell extraction and substitution, then clarify the intended behavior and acceptance criteria with maintainers before selecting an implementation; done requires an agreed, tested solution.
由索引模型根据 Issue 内容生成。
描述
这个 Issue 没有描述。
- 主要语言
- Python
- 星标
- 591
- 派生
- 163
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
runtimeverification/k 的其他 Issue
-
Introduce composable symbolic execution interface in pyx可能重新可做 @Stevengre 于 99 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/k#4939 · 已指派 1 人 ·
-
难度 5/5 一周以上 新手友好度 32/100
runtimeverification/k#4937 ·
-
难度 5/5 一周以上 新手友好度 30/100
runtimeverification/k#4936 ·
-
Accelerating all-path reachability proofs with one-path reachability proofs可能重新可做 @Stevengre 于 104 天前认领，目前没有进行中的 PR。 未关闭type:epic
runtimeverification/k#4934 · 4 条评论 · 已指派 1 人 ·
-
Support progressive depth halving as a generic policy in `Prover.advance_proof`可能重新可做 @Stevengre 于 124 天前认领，目前没有进行中的 PR。 未关闭
runtimeverification/k#4924 · 已指派 1 人 ·
查看 runtimeverification/k 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 78/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 85/100
维护者通常 1 天内回复
-
approved correction metadata
难度 1/5 1 小时以内 新手友好度 88/100
acl-org/acl-anthology#10133 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 78/100
BasedHardware/omi#20084 ·
维护者通常 1 天内回复
-
bug needs-acceptance wg/evaluation-quality
难度 2/5 1-3 小时 新手友好度 76/100
vllm-project/semantic-router#4424 ·
维护者通常 1 天内回复