Chelis-Lang

Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data

• Rounding-mode guard is entry-point discipline: kernels and float_unop are callable without FpEnvGuard

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:eval area:prove launch:p3 scope:core soundness

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 64/100

  Chelis-Lang/chelis#3319 · Aperta il 7/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Exactly specified C library and compiler-runtime functions (fma, rint, floor, fmod, ldexp, ...) are unchecked in both lanes

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend launch:p3 scope:core soundness

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 61/100

  Chelis-Lang/chelis#3318 · Aperta il 7/10/2026

  I maintainer di solito rispondono entro 1 giorno

• `chelis prove` evaluates correctly rounded kernels without a rounding-mode guard

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:prove bug

  Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100

  Chelis-Lang/chelis#3317 · Aperta il 7/10/2026

  I maintainer di solito rispondono entro 1 giorno

• reef install --bootstrap default list names shell tags pinned to Chelis 0.6.1

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ecosystem bug cli

  Difficoltà 3/5 Mezza giornata Idoneità per principianti 72/100

  Chelis-Lang/chelis#3315 · Aperta il 7/10/2026

  I maintainer di solito rispondono entro 1 giorno

• reef remote discovery needs a GitHub token for public releases, and its error names `<provider>`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ecosystem bug cli

  Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100

  Chelis-Lang/chelis#3313 · Aperta il 7/10/2026

  I maintainer di solito rispondono entro 1 giorno

• reef bootstrap rejects an exact chelis-std requirement matching the bundled runtime

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ecosystem bug cli

  Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100

  Chelis-Lang/chelis#3307 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Tier B test `f3_int_width_field_param_const_lowers_consistently_at_tier_b` never reaches the narrow-width field sort (`FieldType::scalar_sort`)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:prove

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 66/100

  Chelis-Lang/chelis#3304 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Decide whether --fast should compile the full production source closure on every run

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci design-discussion

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  Chelis-Lang/chelis#3303 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• `chelis prove` in a reef package reports linker spellings (`pkg__demo__app__Demo__Main__out`) in `diagnostics`, `reason` and `goal`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:prove bug scope:core usability

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 70/100

  Chelis-Lang/chelis#3302 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• In a reef package, an opaque type whose name contains `__` is keyed to the wrong module: its own constructor is rejected, and the message names `Prob` in `Demo.Util.My`

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug scope:core type-system usability

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 64/100

  Chelis-Lang/chelis#3301 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• In a reef package, the type-mismatch accessor suggestion names a linker-derived helper (`pkg__demo__app___demo___main___shape_value`)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug scope:core usability

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 75/100

  Chelis-Lang/chelis#3300 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• `chelis eval` calls a nullary `def` named without parentheses, while the checker types the name as a function value

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:eval bug scope:core

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 75/100

  Chelis-Lang/chelis#3299 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• `chelis prove` in a reef package: constructor-based generation for an opaque type always fails, because its probe is declared outside the type's module

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:prove bug scope:core

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 72/100

  Chelis-Lang/chelis#3298 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• C build of a `match` that projects a callback parameter fails with internal ownership errors instead of the typed #879 rejection

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug scope:core

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 63/100

  Chelis-Lang/chelis#3297 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Std: add an exact rational (fraction) type with correctly rounded float conversion

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  enhancement scope:unreleased type-system

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100

  Chelis-Lang/chelis#3276 · Aperta il 6/10/2026

  I maintainer di solito rispondono entro 1 giorno

• conform init: stamped CI and bump workflows call chelisup without bootstrapping it and use a token that cannot read private chelis releases

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ecosystem bug launch:p3 scope:core

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 58/100

  Chelis-Lang/chelis#3255 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Diagnostic Kind Mutation Oracle failures do not block merges to main

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

  Chelis-Lang/chelis#3248 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Backend Sanitizers runs backend-c --lib only, and integration tests ignore its sanitizer flags

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3247 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• The hip-local-gpu manual gate feature is inert: enabling it adds no GPU tests

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Chelis-Lang/chelis#3245 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• The CLI no-proof-runner branch (beacon_feature_absent) runs in no CI lane

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  Chelis-Lang/chelis#3244 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Hull evaluation comparison accepts any finite result within an absolute 0.01

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci bug

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Chelis-Lang/chelis#3243 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Hull check comparison counts missing compiler type evidence as agreement

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  Chelis-Lang/chelis#3242 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• reef conform sync/init/bump follow symlinked directories and delete or write outside the shell root

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ecosystem bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 55/100

  Chelis-Lang/chelis#3240 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Concurrent Python compile_and_load jobs race on fixed artifact file names

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:bindings bug soundness

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  Chelis-Lang/chelis#3238 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Reef registry index writers race: most are unlocked and share a fixed index.json.tmp

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ecosystem bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3237 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Dependency-declared binary artifacts install into ~/.chelis/bin and can replace the chelis shims

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ecosystem bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Chelis-Lang/chelis#3235 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• HIP and Metal matmul recognition ignores expand axes and the declared output shape

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug soundness

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

  Chelis-Lang/chelis#3232 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• WireDag shape validation revisits shared inputs exponentially

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:bindings bug

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Chelis-Lang/chelis#3231 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Metal embedded kernel literals admit producer-controlled closing delimiters

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug soundness

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3227 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Narrow Surf pipe grouping guard to reading hazards and use form-specific diagnostics

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3226 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• ci: package expansion baseline lookup returns stale workflow runs by filename

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci bug

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 64/100

  Chelis-Lang/chelis#3223 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• HIP Count launch arguments take addresses of const descriptor members and fail C++ compilation

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug launch:p3 scope:experimental

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3219 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• HIP native executable link parses runtime archive as source with wheel hipcc

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug cli launch:p3 scope:experimental

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3218 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Host lowering rejects a symbolic extent that the checker admits: any caller of Nautilus.Interpolation.spline_eval fails chelis build

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug type-system

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100

  Chelis-Lang/chelis#3217 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• fold_static_int_expr folds add/sub/... by spelling and ignores lexical shadowing: a shadowed add folds as the builtin, giving a wrong static extent

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug scope:core soundness type-system

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 70/100

  Chelis-Lang/chelis#3214 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Effectful functions stored in top-level data (tuples, if-values, lambdas) let a ! {} def perform IO without charging the effect

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug scope:core soundness

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 50/100

  Chelis-Lang/chelis#3213 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Nightly failing: Standing Rejection Authority Liveness

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  nightly-failure

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100

  Chelis-Lang/chelis#3212 · 1 commento · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Compiled scatter with an out-of-range index traps naming gather, not the scatter primitive ([04-NUM-9])

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug launch:p3 scope:core

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 68/100

  Chelis-Lang/chelis#3208 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Consuming an owner while a live closure borrows it is accepted (consuming capture, eat, fold)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  launch:p3 scope:core soundness spec-gap type-system

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100

  Chelis-Lang/chelis#3207 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Builtins admitted as values by [04-INF-9] (exp, sin, string_*, ...) type-check but neither eval nor C can run them

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend area:eval bug scope:core

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3204 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• spec: may a type parameter or a builtin's scheme variable be instantiated at a borrow type? (generic drop(&x) is accepted)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  launch:p3 scope:core soundness spec-gap type-system

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100

  Chelis-Lang/chelis#3200 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• gate: no local mode runs the SMT feature clippy/build that CI's SMT Feature Build job runs

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:ci enhancement

  Difficoltà 3/5 1-2 giorni Idoneità per principianti 56/100

  Chelis-Lang/chelis#3199 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• module-compound-titlecase suggests the identical name it rejects (PSmoke), and reef init writes a prefix the style gate then blocks

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug launch:p3 lint scope:core usability

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3196 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• sum_result widening note is attached per rejection site; other sites (e.g. user-def arguments) still give a bare i8/i32 mismatch

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  launch:p3 scope:core type-system usability

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 45/100

  Chelis-Lang/chelis#3194 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• shrink range and stride step guards print a metadata sentence without the section 4.7 axis and values

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:runtime launch:p3 scope:core usability

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3193 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Compiled C ties the two wildcard axes of one tensor[*, *] parameter to a single anonymous extent

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug launch:p2 scope:core

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 52/100

  Chelis-Lang/chelis#3192 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Explicit accumulator= over a precision-variable operand is rejected even when every bound member admits it ([P: {f32,f64}] with acc=f64)

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  bug launch:p3 scope:core type-system

  Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100

  Chelis-Lang/chelis#3191 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• pad_sequences_to with a huge width panics in chelis eval (exit 101) while C exits 1

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:eval bug launch:p2 scope:core

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3190 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Generated C and HIP spell numeric-trap lines by hand instead of using chelis_abi::failure

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend bug launch:p3 scope:core

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100

  Chelis-Lang/chelis#3187 · Aperta il 5/10/2026

  I maintainer di solito rispondono entro 1 giorno

• Literal-proof rejection inside grad-synthesized code names the synthesized op and span, not the authored claim

  Aperta

  ⋯Segnala un problema con questa issue

  • Qualcosa non va?

  • Già presa in carico
  • Non adatta ai principianti
  • Obsoleta o non valida
  • Altro…
  • Invia Annulla
  area:backend launch:p3 scope:core usability

  Difficoltà 4/5 3-5 giorni Idoneità per principianti 42/100

  Chelis-Lang/chelis#3185 · Aperta il 4/10/2026

  I maintainer di solito rispondono entro 1 giorno