cryspen/hax

`loop {...}` (when not a `for` or `while`)

开放

#124 创建于 2023年6月6日

在 GitHub 查看贡献者指南
 (2 条评论) (0 个反应) (0 位负责人)OCaml (61 个派生)auto 404
backendenginegood first issuekeep-openunsupported-rust

仓库指标

星标
 (456 个星标)
PR 合并指标
 (PR 指标待抓取)

描述

Every backend rejects entirely plain loops (i.e. those that could not be interpreted as something with more structure such as a for loop for instance).

We should accept those and produce code for them, even if proving things about them will be painful.

贡献者指南

研究方向
检查工具当前如何处理循环结构。查看解析器以了解普通循环被拒绝的位置，然后检查代码生成路径，以了解需要什么更改来接受它们并生成代码。
技术栈
rust
领域
backend
议题类型
功能
难度面向新贡献者的预计实现难度，1 表示很小改动，5 表示专家级工作。
3
预计时间有经验贡献者完成调查、实现、测试并准备 pull request 的粗略时间范围。
1-3 小时
活动状态议题当前的可参与程度：新鲜、活跃、陈旧、阻塞或等待维护者输入。
活跃
清晰度议题是否清楚说明期望改动、验收标准和下一步。
基本清晰
前置要求
Rust
新手友好度1-100 的估计分数，表示该议题对首次贡献者的友好程度。
70