Proprietario
limitlessprojects
1 repository indicizzato · Vedi su 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 stelle
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 5/100
limitlessprojects/Go-Hybrid#239 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
limitlessprojects/Go-Hybrid#228 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 4/100
limitlessprojects/Go-Hybrid#200 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 8/100
limitlessprojects/Go-Hybrid#193 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 5/100
limitlessprojects/Go-Hybrid#186 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 8/100
limitlessprojects/Go-Hybrid#184 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 8/100
limitlessprojects/Go-Hybrid#175 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 6/100
limitlessprojects/Go-Hybrid#174 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100
limitlessprojects/Go-Hybrid#152 ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
limitlessprojects/Go-Hybrid#118 ·
I maintainer di solito rispondono entro 1 giorno
-
[tooling] Corpus harness ignores unexpected checker exits when valid JSON was emittedForse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 48/100
limitlessprojects/Go-Hybrid#79 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
checker+parser: expression statement fused with a next-line `<-ch` receive into a send (`noop() <- done`) - accepted with 0 diagnostics, emitted Go does not compile; send targets are never classifiedForse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 32/100
limitlessprojects/Go-Hybrid#77 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Moving a may-share peer of a parameter escapes the O5.1 non-owned check (h2 := h; task worker(move h2) - OK accepted, fatal error: concurrent map writes)Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100
limitlessprojects/Go-Hybrid#75 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Call results that shallow-copy or launder argument storage escape the O5.2 freeze (h2 := alias_holder(h1); generic id(m))Forse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100
limitlessprojects/Go-Hybrid#73 ·
I maintainer di solito rispondono entro 1 giorno
-
[diagnostic] E8001 reference example rejects with E0003 instead of demonstrating a warningForse di nuovo libera Una pull request per questa issue è stata chiusa senza essere unita. Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
limitlessprojects/Go-Hybrid#50 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] O8 slot-loan lowering in hy-emit: block-exit store-back after non-lexical last_use (stale reads, resurrected deletes, post-move map races), rebind/key-mutation clobbers, unscoped some(v) match arms, and parallel/? loan drops (0 diagnostics on 44a08b9)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 15/100
limitlessprojects/Go-Hybrid#246 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] match arm pattern binding some(v) and some(x) constructor are untracked in hy-check, laundering shared maps past HYB-E3001/E3002/E3003/E3004/E3006/E3102 with 0 diagnostics (on 44a08b9)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
limitlessprojects/Go-Hybrid#243 ·
I maintainer di solito rispondono entro 1 giorno
-
soundness(hy-check,hy-emit): block-scoped closure capture erasure, const O8 loan store-back races, and A3 slot-loan window bypassesForse già presa @yodakkak l’ha presa oggi. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 10/100
limitlessprojects/Go-Hybrid#241 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] copy(dst, src) bypasses T22 const deep-immutability (HYB-E3006), loses may_share across block scopes on scope_pop, and is ignored inside closures (0 diagnostics on 44a08b9)Forse già presa @lienhoatienphung-svg l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 12/100
limitlessprojects/Go-Hybrid#238 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] check_loop_backedge: inner-block local shadowing erases outer loop-carried move/alias freeze, and ForKind::Range upper bound hi is unchecked on back-edge (0 diagnostics on 44a08b9)Forse già presa @lienhoatienphung-svg l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 12/100
limitlessprojects/Go-Hybrid#233 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Nested closures evaluate against top-level FnState instead of enclosing closure environment, laundering outer-closure maps/moves past HYB-E3001/E3003/E3004 with 0 diagnosticsForse già presa @lienhoatienphung-svg l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#229 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] move of a slice/map/struct that holds closures bypasses the closure rule: captured map races with 0 diagnosticsForse già presa @greg-holman l’ha presa oggi. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#225 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Boundary handles, same-stmt may-share moves, and closure const deep-immutability bypasses (HYB-E3003 / E3004 / E3006 / E3101)Forse già presa @sonson0910 l’ha presa oggi. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 8/100
limitlessprojects/Go-Hybrid#212 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Closure ascribed locals, closure assignments, and self/peer rebinds erase non_owned_origin and may_share (follow-up gaps in #75/#137/#141)Forse già presa @sonson0910 l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 8/100
limitlessprojects/Go-Hybrid#206 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] const initializer is never validated as a constant expression: const c = get_val() accepted, emitted Go const c = get_val() fails to build (is not constant)Forse già presa @salvocanci l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100
limitlessprojects/Go-Hybrid#205 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] emit_match keeps only the LAST some arm: guarded/multi-arm matches accepted with 0 diagnostics but emit code with earlier arms silently deleted (wrong output)Forse già presa @rickymulya l’ha presa oggi. Aperta
Difficoltà 4/5 1-2 giorni Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#204 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] slot-loan store-back emitted after terminating return/break/continue: accepted programs either fail to build (missing return) or silently lose the write (unreachable code + stale value)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 3/5 Mezza giornata Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#203 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] closure-local slot-loan store-back is hoisted into the enclosing function: accepted programs emit Go that cannot build - or silently write an unrelated outer variable into the map (FnLit never pushes a loan frame)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100
limitlessprojects/Go-Hybrid#202 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] five accepted-but-unbuildable families on main c09e992: incomparable-type ==, var-ascription const overflow/truncation, redeclarations, invalid receivers, bad array lengths - all emit Go that fails go vetForse già presa @milkingndb-oss l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100
limitlessprojects/Go-Hybrid#201 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] closure bodies have no loop-backedge analysis: task worker(move agg, done) in a loop inside a closure re-moves the same map (0 diagnostics)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 15/100
limitlessprojects/Go-Hybrid#196 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] scope_pop propagates freeze only over aliases, not may_share: shadowed struct-embedded map escapes the move of its holder (follow-up gap in #14/#31's fixes)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#195 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] loop-backedge freeze erased by call-local roots: m := same(agg) in a loop re-moves the same map into two tasks (follow-up gap in #23's fix)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#194 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] const composites are class-4 sendable but runtime-mutable: interprocedural mutation + two-task spawn races with 0 diagnostics (follow-up gap in #37's fix)Forse già presa @rickymulya l’ha presa oggi. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 14/100
limitlessprojects/Go-Hybrid#188 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] builtin arguments never validated (make size, len/cap/delete/close) and defer accepts non-calls (E2001 registered but never raised) - accepted programs emit Go that fails go vet/buildForse già presa @salvocanci l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 28/100
limitlessprojects/Go-Hybrid#187 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] `?` is never checked against its operand — on option/int/closure-local calls accepted with 0 diagnostics and emits non-compiling Go (E4/T20 unimplemented)Forse già presa @magomedta l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100
limitlessprojects/Go-Hybrid#155 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] `match` exhaustiveness (HYB-E5001) is not implemented — non-exhaustive/`none`-only/`_`-first matches accepted with 0 diagnostics; `none`-only match emits invalid Go (gofmt rejects it)Forse già presa @area523ufo l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100
limitlessprojects/Go-Hybrid#143 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
accepted programs emit Go that fails `go vet`: declared-and-not-used / imported-and-not-used / repeated `:=`Forse già presa @CarlitoDon l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100
limitlessprojects/Go-Hybrid#134 ·
I maintainer di solito rispondono entro 1 giorno
-
Soundness: pointer-borrow share chains (`&x` in composites/calls, auto-addressed `*T` params) and O8 block-exit store-backs bypass `move` freeze (HYB-E3003 / HYB-E3004)Forse già presa @ocakciomursel-pixel l’ha presa oggi. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 12/100
limitlessprojects/Go-Hybrid#131 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] User-defined method calls, struct-to-reference extractions, and ?-unwrapped calls bypass A1b freezeForse già presa @sonson0910 l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 15/100
limitlessprojects/Go-Hybrid#120 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Conditional branch rebinds erase outer alias/may-share/origin state and composite-literal moves drop non_owned_origin (O5.1 / O5.2 bypass)Forse già presa @yodakkak l’ha presa oggi. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100
limitlessprojects/Go-Hybrid#114 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Generic struct instantiations (box[T], lru_cache[K, V]), prelude set[T], and associated generic calls bypass A1b freezeForse già presa @sonson0910 l’ha presa 1 giorno fa. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#105 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Stmt::Defer and call-arg moves bypass A1b/A7 freeze and A2/A3 loan windows (data race at function exit)Forse già presa @sonson0910 l’ha presa 1 giorno fa. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 18/100
limitlessprojects/Go-Hybrid#98 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Channel direction never enforced for close() and ange: <-chan T close and chan<- T range accepted (0 diagnostics) and emit Go that does not compileForse già presa @milkingndb-oss l’ha presa 1 giorno fa. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#94 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Field/index stores (h.m = m), projections in composite literals (holder{m: h1.m}), and intermediate-copy rebinds sever may_share and bypass O5.2 freeze with 0 diagnosticsForse già presa @yodakkak l’ha presa 1 giorno fa. Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
limitlessprojects/Go-Hybrid#92 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Channel direction is never enforced: `chan<- T` receives and `<-chan T` sends are accepted (0 diagnostics) and emit Go that does not compileForse già presa @milkingndb-oss l’ha presa 1 giorno fa. Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
limitlessprojects/Go-Hybrid#89 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Multi-value unpack alias drops (n, m2 := pair(m)), composite for-iterate sharing, and closure alias/select-arm omissions bypass A1b/A1c with 0 diagnosticsForse già presa @yodakkak l’ha presa 1 giorno fa. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 20/100
limitlessprojects/Go-Hybrid#87 ·
I maintainer di solito rispondono entro 1 giorno
-
[soundness] Unbound `match some(x)` pattern bindings, `some(m)`/`opt.unwrap()` alias drops, and ignored `Decl::TypeAlias` bypass A1c/A1b and race with 0 diagnosticsForse già presa @yodakkak l’ha presa 1 giorno fa. Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100
limitlessprojects/Go-Hybrid#66 · 2 commenti ·
I maintainer di solito rispondono entro 1 giorno
-
Bounty track: hunt accepted-but-unsound programs at the task boundaryForse già presa @playmaker410 l’ha presa oggi. Aperta💎 Bounty help wanted soundness
Difficoltà 4/5 3-5 giorni Idoneità per principianti 22/100
limitlessprojects/Go-Hybrid#5 · 20 commenti ·
I maintainer di solito rispondono entro 1 giorno