Owner
limitlessprojects
1 indexed repository · View on 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 stars
Issues somebody may already be working on are listed last. List everything by date
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
limitlessprojects/Go-Hybrid#50 ·
Maintainers usually reply within 1 day
-
soundness
Difficulty 4/5 3-5 days Newbie friendliness 22/100
limitlessprojects/Go-Hybrid#14 · 2 comments ·
Maintainers usually reply within 1 day
-
💎 Bounty help wanted soundness
Difficulty 4/5 3-5 days Newbie friendliness 22/100
limitlessprojects/Go-Hybrid#5 · 11 comments ·
Maintainers usually reply within 1 day
-
[soundness] Pointer method receivers drop r.is_pointer and method/shadowed callees pollute ck.fns return shapes (A1b / A1c bypass)Possibly taken @area523ufo claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 15/100
limitlessprojects/Go-Hybrid#57 ·
Maintainers usually reply within 1 day
-
[soundness] Scope-pop coalescing in walk.rs, unscoped select-recv defines, and skipped closure select-arm bodies launder shared maps past spawn/sendPossibly taken @area523ufo claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 22/100
limitlessprojects/Go-Hybrid#40 ·
Maintainers usually reply within 1 day
-
[soundness] Alias returned through a function call (`alias := same(m)`) is not frozen by `move m`, accepted with 0 diagnostics and racesPossibly taken @Ratanlavate claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 25/100
limitlessprojects/Go-Hybrid#38 · 1 comment ·
Maintainers usually reply within 1 day
-
[soundness] File-level `const` slice is mutable and reachable from every task: index writes accepted, races with 0 diagnosticsPossibly taken @zidirahim617-del claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 18/100
limitlessprojects/Go-Hybrid#37 · 1 comment ·
Maintainers usually reply within 1 day
-
[soundness] Class-3 `move` unconditionally bypasses shape classification for closures, borrow handles, unproven (`Unknown`) bindings, and local `&x` borrowsPossibly taken @carelessdept claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 20/100
limitlessprojects/Go-Hybrid#33 ·
Maintainers usually reply within 1 day
-
[soundness] Unscoped FnState.aliases wiped by block shadowing, mutual alias rebind cycles, and same-statement double moves bypass O5.1/O5.2 freezePossibly taken @carelessdept claimed this today. Open
Difficulty 5/5 Over a week Newbie friendliness 8/100
limitlessprojects/Go-Hybrid#31 ·
Maintainers usually reply within 1 day
-
[soundness] Closure boundary pass (`closures.rs`) skips `check_uses` and treats moved bindings as `Outcome::Ok` at `task`/`send` sitesPossibly taken @carelessdept claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 25/100
limitlessprojects/Go-Hybrid#29 ·
Maintainers usually reply within 1 day
-
[soundness] Shallow struct/array copy and non-bare-ident aliases bypass O5.2 move freeze (`h2 := h1`, `m2 := (agg)`, `s2 := s1[:]`, `holder{m: agg}`)Possibly taken @carelessdept claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 15/100
limitlessprojects/Go-Hybrid#27 · 3 comments ·
Maintainers usually reply within 1 day
-
Soundness: move of outer binding inside loop accepted with 0 diagnostics, causing concurrent map writes (HYB-E3003)Possibly taken @ocakciomursel-pixel claimed this today. Open
Difficulty 4/5 3-5 days Newbie friendliness 25/100
limitlessprojects/Go-Hybrid#23 ·
Maintainers usually reply within 1 day