restrict map_rect to legal data-only args
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 42/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- ocaml
- 领域
- compilers
调研方向
从编译器的 map_rect 参数验证开始，复现 issue 中所示的 Stan 程序。检查诸如 xi[i] 这样的索引表达式是否会因不完全是纯数据而被拒绝，并验证无效程序不再能够编译；issue 未指定具体的文件或测试。
由索引模型根据 Issue 内容生成。
描述
The following program should not compile because xi[i] isn't an entirely data-only expression. The value xi is a data variable, but the index i is local. That allows illegal programs like this to get compiled:
functions {
vector f(vector beta, vector theta, data real[] xr, data int[] xi ) {
return [1.0]';
}
}
transformed data {
vector[2] beta;
vector[2] theta[2];
real xr[2, 2];
int xi[2, 2, 2];
}
parameters {
real y;
}
transformed parameters {
real s = 0;
for (i in 1:2) {
// BAD! DATA CHANGING BETWEEN CALLS
s += sum(map_rect(f, beta, theta, xr, xi[i]));
}
}
These will produce different results with MPI turned on and turned off, which we don't ever want to happen.
- 主要语言
- OCaml
- 星标
- 162
- 派生
- 60
- 平均合并
- 2 天 22 小时
- 30 天内合并 PR
- 14
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 有 Pull Request 模板
- 没有贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
stan-dev/stanc3 的其他 Issue
-
optimization performance robustness
难度 5/5 一周以上 新手友好度 8/100
stan-dev/stanc3#1761 · 6 条评论 ·
维护者通常 1 天内回复
-
feature
难度 4/5 1-2 天 新手友好度 52/100
stan-dev/stanc3#1757 · 1 条评论 ·
维护者通常 1 天内回复
-
cleanup help wanted
难度 5/5 一周以上 新手友好度 22/100
维护者通常 1 天内回复
-
cpp-codegen feature performance
难度 5/5 一周以上 新手友好度 35/100
stan-dev/stanc3#1722 · 5 条评论 ·
维护者通常 1 天内回复
-
feature optimization
难度 5/5 一周以上 新手友好度 30/100
维护者通常 1 天内回复
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 75/100
swc-project/swc-ai-issues#414 ·
-
难度 2/5 1-3 小时 新手友好度 69/100
-
HIP and OpenCL parsers raise AttributeError ('NoneType' has no attribute 'type') on a truncated `template <...` header可能已有人在做 @jay23606 今天认领。 未关闭area:frontend backend:hip backend:opencl bug direction:input
难度 2/5 1-3 小时 新手友好度 84/100
CrossGL/crosstl#4386 · 1 条评论 ·
维护者通常 1 天内回复