オーナー
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 個
誰かが対応中かもしれないイシューは最後に並べています。 すべて日付順に表示
-
難易度 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 1週間以上 初心者へのやさしさ 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 日以内に返信