仓库议题

cryspen/hax

A Rust verification tool

在 GitHub 查看
星标
 (456 个星标)
派生
 (61 个派生)
已索引议题
 (5 个已索引议题)
个开放新手议题
 (5 个开放的新手议题)
最近索引
2026年8月13日
最近 GitHub push
2026年7月2日
许可证
Apache License 2.0
贡献指南
贡献指南
行为准则
没有行为准则
主要语言
OCaml
PR 合并指标
 (PR 指标待抓取)
新手标签
good first issuehelp wanted

议题

5 个开放索引议题

开放
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
为什么推荐暂无负责人 · 暂无评论
暂无负责人暂无评论带有初学者友好标签提供贡献指南

cryspen / hax · #156 · 2023年6月23日 · OCaml · 456 个星标

0 条评论1 个反应0 位负责人
开放
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签提供贡献指南

cryspen / hax · #124 · 2023年6月6日 · OCaml · 456 个星标

2 条评论0 个反应0 位负责人
开放
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签提供贡献指南

cryspen / hax · #123 · 2023年6月6日 · OCaml · 456 个星标

4 条评论0 个反应0 位负责人
开放
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
为什么推荐暂无负责人 · 带有初学者友好标签
暂无负责人带有初学者友好标签提供贡献指南

cryspen / hax · #113 · 2023年6月2日 · OCaml · 456 个星标

1 条评论0 个反应0 位负责人