VolumeTracker to track set of all possible volumes

未关闭

#80 创建于 2020年2月4日 0 条评论 0 个 reaction 已指派 0 人在 GitHub 查看

还没有人认领这个 Issue。

评估

难度: 5/5
预计耗时: 一周以上
新手友好度: 25/100

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

调研方向

首先定位 VolumeTracker，并阅读它当前如何记录每条指令的下界 volume。跟踪执行路径的表示方式，并确定 tracker 应如何收集这些路径上的所有可能 volume。完成的标准是 tracker 报告完整集合，而不只是保守下界。

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

描述

enhancement

As is, the volume tracker only tracks a conservative estimate of a variable's volume (as the lower-bound) at each instruction.

This feature would enhance the volume tracker to collect the set of all possible volumes of a variable over all execution paths.

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

环境准备

我们还没有检查这个项目的环境配置文件。先看它的 README，通用步骤见我们的新手贡献指南。

从这里开始

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

lilott8/BioScript 的其他 Issue

update readme
未关闭
- 哪里不对？
难度 1/5 1 小时以内新手友好度 62/100

lilott8/BioScript#70 · 2019年11月5日创建
Functions are broken
未关闭
- 哪里不对？
难度 4/5 3-5 天新手友好度 25/100

lilott8/BioScript#87 · 2020年9月30日创建
MFSim target does not appropriately translate while conditionals
未关闭
- 哪里不对？
bug

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

lilott8/BioScript#85 · 2020年9月14日创建
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

MCP: add summary-only option to skip full `findings`
未关闭
- 哪里不对？
good first issue

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

RogueAlg0/taken#48 · 1 条评论 · 2026年9月26日创建
[Bug] GGUF loader ignores target_dtype for plain tensors, so GGUF models run float32 regardless of --dtype
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 88/100

vllm-project/vllm-metal#822 · 2026年9月26日创建

维护者通常 1 天内回复
Langchain vector store: list() returns None for any non-Chroma VectorStore client (FAISS, Qdrant, PGVector, ...), crashing Memory.get_all() and Memory.delete_all() with TypeError
未关闭
- 哪里不对？
vector-store

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

mem0ai/mem0#7461 · 1 条评论 · 2026年9月26日创建

维护者通常 1 天内回复
[Bug]: chunk_span_bounds and _validated_chunk_spans reject Pydantic models ChunkSpan and AudioFile
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 78/100

BasedHardware/omi#19047 · 2026年9月26日创建

维护者通常 1 天内回复
portability: get_fullname and get_directory write one byte past the output buffer
未关闭
- 哪里不对？
难度 2/5 1-3 小时新手友好度 88/100

metacall/core#907 · 2026年9月26日创建

维护者通常 1 天内回复

更多 Python Issue

精选适合新手参与的 GitHub issue 摘要。