Owner
limitlessprojects
已索引 1 个仓库 · 在 GitHub 查看
-
Go-Hybrid
Hybrid: a Go superset with compiler-enforced ownership & sendability. Add a .hy file, get plain readable Go. If you know Go, you already ...
Rust · 4 个 star
可能已有人在做的 issue 排在最后。 全部按时间排序
-
难度 2/5 1-3 小时 新手友好度 70/100
limitlessprojects/Go-Hybrid#50 ·
维护者通常 1 天内回复
-
soundness
难度 4/5 3-5 天 新手友好度 22/100
limitlessprojects/Go-Hybrid#14 · 2 条评论 ·
维护者通常 1 天内回复
-
💎 Bounty help wanted soundness
难度 4/5 3-5 天 新手友好度 22/100
limitlessprojects/Go-Hybrid#5 · 11 条评论 ·
维护者通常 1 天内回复
-
[soundness] Pointer method receivers drop r.is_pointer and method/shadowed callees pollute ck.fns return shapes (A1b / A1c bypass)可能已有人在做 @area523ufo 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 15/100
limitlessprojects/Go-Hybrid#57 ·
维护者通常 1 天内回复
-
[soundness] Scope-pop coalescing in walk.rs, unscoped select-recv defines, and skipped closure select-arm bodies launder shared maps past spawn/send可能已有人在做 @area523ufo 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 22/100
limitlessprojects/Go-Hybrid#40 ·
维护者通常 1 天内回复
-
[soundness] Alias returned through a function call (`alias := same(m)`) is not frozen by `move m`, accepted with 0 diagnostics and races可能已有人在做 @Ratanlavate 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 25/100
limitlessprojects/Go-Hybrid#38 · 1 条评论 ·
维护者通常 1 天内回复
-
[soundness] File-level `const` slice is mutable and reachable from every task: index writes accepted, races with 0 diagnostics可能已有人在做 @zidirahim617-del 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 18/100
limitlessprojects/Go-Hybrid#37 · 1 条评论 ·
维护者通常 1 天内回复
-
[soundness] Class-3 `move` unconditionally bypasses shape classification for closures, borrow handles, unproven (`Unknown`) bindings, and local `&x` borrows可能已有人在做 @carelessdept 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 20/100
limitlessprojects/Go-Hybrid#33 ·
维护者通常 1 天内回复
-
[soundness] Unscoped FnState.aliases wiped by block shadowing, mutual alias rebind cycles, and same-statement double moves bypass O5.1/O5.2 freeze可能已有人在做 @carelessdept 今天认领。 未关闭
难度 5/5 一周以上 新手友好度 8/100
limitlessprojects/Go-Hybrid#31 ·
维护者通常 1 天内回复
-
[soundness] Closure boundary pass (`closures.rs`) skips `check_uses` and treats moved bindings as `Outcome::Ok` at `task`/`send` sites可能已有人在做 @carelessdept 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 25/100
limitlessprojects/Go-Hybrid#29 ·
维护者通常 1 天内回复
-
[soundness] Shallow struct/array copy and non-bare-ident aliases bypass O5.2 move freeze (`h2 := h1`, `m2 := (agg)`, `s2 := s1[:]`, `holder{m: agg}`)可能已有人在做 @carelessdept 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 15/100
limitlessprojects/Go-Hybrid#27 · 3 条评论 ·
维护者通常 1 天内回复
-
Soundness: move of outer binding inside loop accepted with 0 diagnostics, causing concurrent map writes (HYB-E3003)可能已有人在做 @ocakciomursel-pixel 今天认领。 未关闭
难度 4/5 3-5 天 新手友好度 25/100
limitlessprojects/Go-Hybrid#23 ·
维护者通常 1 天内回复