Functions are broken

未关闭

#87 创建于 2020年9月30日 0 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

还没有人认领这个 Issue。

评估

难度: 4/5
预计耗时: 3-5 天
新手友好度: 25/100

Issue 类型: 缺陷
描述清晰度: 需要澄清
活跃度: 停滞
技术栈: python
领域: compilers

调研方向

从 functions 分支中的 resources/broken.bs 开始，在访问函数内部的语句时重现该失败。跟踪参数值在符号表中的表示方式；当对函数参数的符号表值的访问能够正常工作时，即视为完成。

由索引模型根据 Issue 内容生成。

描述

Functions don't work properly. When visiting statements within functions, the parameter's values are unknown, so all attempted accesses to symbol table values fail. See resources/broken.bs on the functions branch.

主要语言: Python
星标: 53
派生: 16
PR 合并指标: 30 天内没有已合并 PR

贡献指南

这个仓库没有索引到贡献指南

从这里开始

先读完整个 Issue，再读项目的贡献指南。
在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
Fork 仓库，在一个分支上完成修改。
提交 Pull Request，并在描述里引用这个 Issue 编号。

lilott8/BioScript 的其他 Issue

update readme 未关闭

难度 1/5 1 小时以内新手友好度 62/100

lilott8/BioScript#70 · 2019年11月5日创建
MFSim target does not appropriately translate while conditionals 未关闭

bug

难度 3/5 1-2 天新手友好度 35/100

lilott8/BioScript#85 · 2020年9月14日创建
VolumeTracker to track set of all possible volumes 未关闭

enhancement

难度 5/5 一周以上新手友好度 25/100

lilott8/BioScript#80 · 2020年2月4日创建
VolumeTracker should deal with Phi nodes appropriately 未关闭

bug good first issue

难度 3/5 1-2 天新手友好度 48/100

lilott8/BioScript#79 · 2020年2月4日创建
Finish and verify z3 tests 未关闭

难度 5/5 一周以上新手友好度 25/100

lilott8/BioScript#77 · 2020年1月28日创建

查看 lilott8/BioScript 的全部 Issue

相似的 Issue

PATCH /interviews/{id} 的 goal 字段没有任何长度上限，500KB 字符串直接落库且每次 GET detail 都全量带回未关闭

bug

难度 2/5 1-3 小时新手友好度 75/100

xinnan-tech/xiaozhi-fde-talk#263 · 2026年9月24日创建
rules: REQ-0480 'left fold' jargon is redundant with its own plain restatement 未关闭

rules

难度 1/5 1 小时以内新手友好度 90/100

elong0527/yamaa#978 · 2026年9月24日创建
Validation discards output from runners that report on stderr (jest, unittest) 未关闭

难度 2/5 1-3 小时新手友好度 70/100

huggingface/Repo2RLEnv#163 · 1 条评论 · 2026年9月24日创建
Source link in quantize_embeddings have shifted code highlights 未关闭

难度 1/5 1 小时以内新手友好度 95/100

huggingface/sentence-transformers#4074 · 2026年9月24日创建
Queue insertion button ("插入排队消息") missing in api_server sessions — canInsert allowlist only covers cli/global_agent 未关闭

comp/dashboard invalid P3

难度 2/5 1-3 小时新手友好度 70/100

NousResearch/hermes-agent#121143 · 2026年9月24日创建

更多 Python Issue